6014 search results - page 149 / 1203 » Structural Testing with Use Cases |
137
Voted
BIBE
2004
IEEE
15 years 7 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
122
Voted
ETS
2007
IEEE
15 years 5 months ago
2007
IEEE
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
157
click to vote
FAC
2008
15 years 3 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
153
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
131
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...