232 search results - page 1 / 47 » Asynchronous programming, analysis and testing with state ma... |
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
APSEC
1995
IEEE
13 years 8 months ago
1995
IEEE
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
SECON
2007
IEEE
13 years 11 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
ICSEA
2007
IEEE
13 years 11 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...