378 search results - page 13 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
24
Voted
CORR
2004
Springer
13 years 7 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
B
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
PTS
1998
13 years 9 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
FASE
2004
Springer
14 years 28 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...