452 search results - page 39 / 91 » Symbolic Execution of Behavioral Requirements |
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
103
click to vote
CSMR
2004
IEEE
15 years 2 months ago
2004
IEEE
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...
FORMATS
2008
Springer
15 years 15 days ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
FLAIRS
2003
15 years 10 days ago
2003
Imitation represents a powerful approach for programming and autonomous learning in robot and computer systems. An important aspect of imitation is the mapping of observations to ...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...