758 search results - page 46 / 152 » Pattern-Constrained Test Case Generation |
116
Voted
APSEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
125
Voted
TOOLS
2010
IEEE
15 years 7 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
103
Voted
ESE
2006
15 years 2 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
118
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
141
Voted
ASE
2004
15 years 2 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...