Suchergebnisse - "D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms"

LiteRace: Effective Sampling for Lightweight Data-Race Detection

Autoren: Daniel Marino Madanlal Musuvathi Satish Narayanasamy et al.

Weitere Verfasser: Daniel Marino Madanlal Musuvathi Satish Narayanasamy et al.

Quelle: http://www.cs.ucla.edu/~dlmarino/pubs/pldi09.pdf.

Schlagwörter: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Sampling, Dynamic Data Race Detection, Concurrency Bugs

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.5012; http://www.cs.ucla.edu/~dlmarino/pubs/pldi09.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.5012
http://www.cs.ucla.edu/~dlmarino/pubs/pldi09.pdf

Automatically classifying benign and harmful data races using replay analysis

Autoren: Satish Narayanasamy Zhenghao Wang Jordan Tigani et al.

Weitere Verfasser: Satish Narayanasamy Zhenghao Wang Jordan Tigani et al.

Quelle: http://www-cse.ucsd.edu/users/calder/papers/PLDI-07-DataRace.pdf.

Schlagwörter: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Benign Data Races, Replay, Concurrency Bugs

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6518

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6518
http://www-cse.ucsd.edu/users/calder/papers/PLDI-07-DataRace.pdf