7 search results - page 1 / 2 » Design tests: An approach to programmatically check your cod... |
64
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
126
Voted
SAC
2008
ACM
15 years 17 days 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...
124
Voted
APSEC
2009
IEEE
14 years 11 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...
119
Voted
EMSOFT
2011
Springer
14 years 25 days 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...
121
Voted
PLDI
2010
ACM
15 years 6 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...