Amanote Research
Register
Sign In
Using Property-Based Oracles When Testing Embedded System Applications
doi 10.1109/icst.2011.33
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2011
Authors
Tingting Yu
Ahyoung Sung
Witiwas Srisa-an
Gregg Rothermel
Publisher
IEEE
Related search
Using Test Clouds to Enable Continuous Integration Testing of Distributed Real-Time and Embedded System Applications
Advances in Computer and Electrical Engineering
Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System
Embedded System Based Remotely Operated Smart Irrigation System Using PIC18F4550 Microcontroller
International Journal for Research in Applied Science and Engineering Technology
Colour Sensor Based Object Sorting Robort Using Embedded System
IJARCCE
PrologCheck – Property-Based Testing in Prolog
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Operating System Kernel Coprocessor for Embedded Applications
Specification-Based Test Oracles With JUnit
Model-Based Testing Design for Embedded Automotive Software
Towards Property-Based Testing of RESTful Web Services
