83 search results - page 17 / 17 » Implementing Petri Net Transformations using Graph Transform... |
151
Voted
SIGSOFT
2007
ACM
16 years 3 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, ...
143
Voted
TACAS
2010
Springer
15 years 19 days 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 ...
141
Voted
SIGSOFT
2003
ACM
16 years 3 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 ...