410 search results - page 7 / 82 » Tool Support for Invariant Based Programming |
96
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
67
Voted
ENTCS
2002
14 years 11 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
83
Voted
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
100
Voted
ESE
1998
14 years 11 months ago
1998
Software inspection is an e ective method of defect detection. Recent research activity has considered the development of tool support to further increase the e ciency and e ectiv...