Sciweavers

456 search results - page 31 / 92
» Automated Generation of Context-Aware Tests
Sort
View
ICSM
2003
IEEE
14 years 19 days ago
DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
Atif M. Memon, Ishan Banerjee, Nada Hashmi, Adithy...
ASE
2004
148views more  ASE 2004»
13 years 7 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
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...
Sarfraz Khurshid, Darko Marinov
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
14 years 27 days ago
Search-based mutation testing for Simulink models
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
Yuan Zhan, John A. Clark
APSEC
2006
IEEE
14 years 1 months ago
Interaction Testing in Model-Based Development: Effect on Model-Coverage
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Renée C. Bryce, Ajitha Rajan, Mats Per Erik...
ITC
2003
IEEE
327views Hardware» more  ITC 2003»
14 years 19 days ago
Case Study - Using STIL as Test Pattern Language
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
Daniel Fan, Steve Roehling, Rusty Carruth