83 search results - page 17 / 17 » Implementing Petri Net Transformations using Graph Transform... |
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...
TACAS
2010
Springer
13 years 2 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...