1054 search results - page 64 / 211 » Models for automatic generation of safety-critical real-time... |
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
111
click to vote
JOT
2010
14 years 10 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
VL
2008
IEEE
15 years 6 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
118
click to vote
FIDJI
2003
Springer
15 years 5 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...