243 search results - page 1 / 49 » Concolic testing for functional languages |
119
click to vote
ICSE
2012
IEEE-ACM
11 years 6 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
FMCO
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
LPAR
2012
Springer
12 years 2 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...
IUI
2012
ACM
12 years 2 days ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...