2774 search results - page 237 / 555 » Query-Driven Program Testing |
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
144
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
212
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
146
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
113
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...