5159 search results - page 389 / 1032 » Structural Testing of Executables |
198
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
198
click to vote
ASWEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
214
Voted
IJIT
2004
15 years 8 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
191
click to vote
IJCAI
2001
15 years 8 months ago
2001
We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line in...
232
click to vote
FAC
2008
15 years 7 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...