2026 search results - page 38 / 406 » Tools for Test Case Generation |
130
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
111
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
121
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
ICSE
2011
IEEE-ACM
14 years 3 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...
101
Voted
ERLANG
2003
ACM
15 years 5 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...