980 search results - page 53 / 196 » Logical Testing |
163
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
135
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
125
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
142
click to vote
VTS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a procedure for modifying a given set of scan vectors so that the peak power during scan testing is kept below a specified limit without reducing fault coverag...
132
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...