7 search results - page 1 / 2 » Design tests: An approach to programmatically check your cod... |
47
Voted
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
101
Voted
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
96
Voted
APSEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
EMSOFT
2011
Springer
13 years 9 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...