Supervised Testing of Embedded Concurrent Software

This work provides means for a better understanding of the actions involved in the software testing of concurrent embedded systems. It complements the existing approaches for concurrency bug dynamic analysis with models of concurrency limitations present in the embedded systems domain and improves their precision, where the main evaluation criterion is the number of false positives.