470 search results - page 35 / 94 » Test Case Generation Based on State and Activity Models |
113
click to vote
KBSE
2002
IEEE
15 years 5 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
85
Voted
DKE
2008
15 years 16 days ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
120
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
107
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
104
Voted
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...