527 search results - page 17 / 106 » Architecture Framework for Software Test Tool |
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
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...
IJCIM
2002
13 years 7 months ago
2002
In this paper the architectures and usability issues of web-based software tools are discussed. For the development of automobile lighting components, various designers, developers...
SERA
2005
Springer
14 years 1 months ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...