713 search results - page 28 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
119
click to vote
CSB
2003
IEEE
15 years 7 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
129
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
116
click to vote
SSIRI
2010
15 years 9 days ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
ICAIL
2007
ACM
15 years 5 months ago
2007
ACM
This paper describes an intelligent tutoring system, LARGO, that helps students learn skills of legal reasoning with hypotheticals by analyzing oral arguments before the US Suprem...
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...