86 search results - page 1 / 18 » Automated Test Program Generation for an Industrial Optimizi... |
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
PLDI
1996
ACM
13 years 9 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
ERLANG
2003
ACM
13 years 10 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
LPAR
2012
Springer
12 years 14 days ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
ITSSA
2006
13 years 4 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...