2419 search results - page 120 / 484 » A Formal Approach to Software Testing |
149
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
125
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
169
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
111
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
154
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...