2419 search results - page 249 / 484 » A Formal Approach to Software Testing |
175
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
133
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
141
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
132
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
152
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on large-scale code repositories. While using CodeGenie developers design...