147 search results - page 20 / 30 » Test Input Generation for Programs with Pointers |
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
FORTE
2008
13 years 9 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
IDEAL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...