86 search results - page 1 / 18 » Automated Test Program Generation for an Industrial Optimizi... |
57
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
103
click to vote
PLDI
1996
ACM
15 years 1 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
15 years 2 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...
175
click to vote
LPAR
2012
Springer
13 years 5 months 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
14 years 9 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 ...