1088 search results - page 1 / 218 » Tools for support of automata-based programming |
103
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
92
Voted
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
193
click to vote
IHI
2012
13 years 10 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
126
click to vote
SIGSOFT
2010
ACM
15 years 5 days ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...