Sciweavers

5159 search results - page 42 / 1032
» Structural Testing of Executables
Sort
View
ICST
2009
IEEE
14 years 5 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
COMPSAC
2006
IEEE
14 years 5 months ago
A Framework of Model-Driven Web Application Testing
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, Chao Liu...
PTS
2000
75views Hardware» more  PTS 2000»
14 years 10 days ago
Structural Coverage For LOTOS - a Probe Insertion Technique
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
Daniel Amyot, Luigi Logrippo
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
14 years 5 months ago
Finding and exploiting goal opportunities in real-time during plan execution
— Autonomous robots that operate in real-world domains face multiple challenges that make planning and goal selection difficult. Not only must planning and execution occur in re...
Paul W. Schermerhorn, J. Benton, Matthias Scheutz,...
ISCAS
2003
IEEE
110views Hardware» more  ISCAS 2003»
14 years 4 months ago
A modular test structure for CMOS mismatch characterization
In this work a new test structure for mismatch characterization of CMOS technologies is presented. The test structure is modular, with a reduced area and it can be inserted in the...
Massimo Conti, Paolo Crippa, Francesco Fedecostunt...