713 search results - page 78 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
125
click to vote
AMOST
2007
ACM
15 years 3 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
126
click to vote
I3E
2001
15 years 1 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
116
click to vote
ICECCS
1999
IEEE
15 years 4 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
112
click to vote
ICFEM
1998
Springer
15 years 4 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
120
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...