Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

PLDI
2015
ACM

favoriteEmaildiscussreport

11views Programming Languages» more PLDI 2015»

Asynchronous programming, analysis and testing with state machines

8 years 4 days ago

Asynchronous programming, analysis and testing with state machines

Download multicore.doc.ic.ac.uk

Pantazis Deligiannis, Alastair F. Donaldson, Jeroe

Real-time Traffic

PLDI 2015 | Programming Languages |

claim paper

Related Content

» A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems

» Testing of ObjectOriented Programs Based on Finite State Machines

» Verifying process models built using parameterized state machines

» HighLevel Application Development is Realistic for Wireless Sensor Networks

» A Novel Framework for Test Domain Reduction using Extended Finite State Machine

» Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits

» Testing a Network by Inferring Representative State Machines from Network Traces

» Test Input Generation Using UML Sequence and State Machines Models

» Test Data Generation from UML State Machine Diagrams using GAs

» Automated test generation for industrial Erlang applications

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	PLDI
Authors	Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

Comments (0)