184 search results - page 4 / 37 » A Formal Framework for Mutation Testing |
TAICPART
2010
IEEE
13 years 4 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
—Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to...
ISSRE
2008
IEEE
14 years 4 days ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
JSS
2008
13 years 5 months ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
CEC
2009
IEEE
14 years 15 days ago
2009
IEEE
—Multi-objective optimization is an essential and challenging topic in the domains of engineering and computation because real-world problems usually include several conflicting...