Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Fumihiko Kumeno"'
Publikováno v:
APSEC (2)
Debugging is one of the most time-consuming tasks in software development. The application of a model-checking technique in debugging has strong potential to solve this problem. Here, lessons learned through our practical experiences with POM/MC are