Sciweavers

6941 search results - page 127 / 1389
» Testing as a Certification Approach
Sort
View
IEE
2010
185views more  IEE 2010»
13 years 6 months ago
Judy - a mutation testing tool for Java
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...
Lech Madeyski, N. Radyk
SSIRI
2010
13 years 6 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
GI
2009
Springer
13 years 5 months ago
Automated GUI Testing Validation guided by Annotated Use Cases
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, Greg...
ICSE
2005
IEEE-ACM
14 years 8 months ago
Demand-driven structural testing with dynamic instrumentation
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
ITC
1997
IEEE
123views Hardware» more  ITC 1997»
14 years 2 days ago
Modifying User-Defined Logic for Test Access to Embedded Cores
Testing embedded cores is a challenge because access to core I/Os is limited. The user-defined logic (ZJDL) surrounding the core may restrict the set of test vectors that can be a...
Bahram Pouya, Nur A. Touba