1188 search results - page 86 / 238 » Testing Semantics: Connecting Processes and Process Logics |
156
click to vote
JLP
2006
15 years 4 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
120
click to vote
CICLING
2010
Springer
15 years 9 months ago
2010
Springer
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
140
click to vote
DFT
2003
IEEE
15 years 9 months ago
2003
IEEE
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
163
click to vote
ICST
2010
IEEE
15 years 2 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...
131
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...