439 search results - page 21 / 88 » Program Generators and the Tools to Make Them |
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
COMPUTER
2002
14 years 11 months ago
2002
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
ITICSE
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...
143
click to vote
ICSE
2012
IEEE-ACM
13 years 2 months ago
2012
IEEE-ACM
—The wide variety of software development tools available today have a great potential to improve the way developers make software, but that potential goes unfulfilled when deve...