7 search results - page 1 / 2 » Design tests: An approach to programmatically check your cod... |
ICSE
2009
IEEE-ACM
14 years 8 days ago
2009
IEEE-ACM
SAC
2008
ACM
13 years 5 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...
APSEC
2009
IEEE
13 years 3 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
12 years 5 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
13 years 10 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...