1516 search results - page 128 / 304 » Trends in Software Verification |
IJIT
2004
13 years 11 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
PROCOMET
1998
13 years 11 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
ECOOPW
2008
Springer
14 years 1 days ago
2008
Springer
Following last four years' RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE'08 workshop was a successful and pop...