Sciweavers

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

23

PLDI
2015
ACM

favoriteEmaildiscussreport

11views Programming Languages» more PLDI 2015»

Asynchronous programming, analysis and testing with state machines

8 years 6 months 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)