2132 search results - page 255 / 427 » Automated software winnowing |
157
Voted
AMOST
2007
ACM
15 years 9 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
188
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
145
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...
142
Voted
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
136
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...