IOLTS
2008
IEEE
14 years 2 months ago
2008
IEEE
With the technology entering the nano dimension, manufacturing processes are less and less reliable, thus drastically impacting the yield. A possible solution to alleviate this pr...
IOLTS
2008
IEEE
14 years 2 months ago
2008
IEEE
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Web applications have rapidly become a critical part of business for many organizations. However, increased usage of web applications has not been reciprocated with corresponding ...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Software-testing researchers have long sought recipes for test suites that detect faults well. In the literature, empirical studies of testing techniques abound, yet the ideal tec...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
The in vivo software testing methodology focuses on testing live applications by executing unit tests throughout the lifecycle, including after deployment. The motivation is that ...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...