Practical software model checking via dynamic interface reduction

Authors: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5065
http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf

Practical software model checking via dynamic interface reduction

Authors: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms, Reliability Keywords Software model checking, state space reduction

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8546
http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf

Practical software model checking via dynamic interface reduction

Authors: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://research.microsoft.com/pubs/173267/19-guo.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms, Reliability Keywords Software model checking, state space reduction

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.3242
http://research.microsoft.com/pubs/173267/19-guo.pdf

GUI Testing Using Computer Vision

Authors: Tsung-hsiang Chang, Mit Csail, Tom Yeh, Robert C. Miller

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf.

Subject Terms: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504
http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf

ThreadSanitizer - Data race detection in practice

Authors: Konstantin Serebryany, Timur Iskhodzhanov

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging — Testing tools. General Terms Algorithms, Testing, Reliability. Keywords Concurrency Bugs, Dynamic Data Race Detection, Valgrind

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.5946
http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf

Threadsanitizer: data race detection in practice

Authors: Konstantin Serebryany, Timur Iskhodzhanov

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/35604.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging — Testing tools. General Terms Algorithms, Testing, Reliability. Keywords Concurrency Bugs, Dynamic Data Race Detection, Valgrind

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.3963; http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/35604.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.3963
http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/35604.pdf

From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing

Authors: Marat Boshernitsan, Roongko Doong, Alberto Savoia

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- testing tools. General Terms Algorithms, Performance, Reliability. Keywords Developer testing, unit testing, automated testing tools, software agitation

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8472
http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf

From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing

Authors: Marat Boshernitsan, Roongko Doong, Alberto Savoia

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.berkeley.edu/~maratb/pubs/ind6-boshernitsan.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- testing tools. General Terms Algorithms, Performance, Reliability. Keywords Developer testing, unit testing, automated testing tools, software agitation

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.5605
http://www.cs.berkeley.edu/~maratb/pubs/ind6-boshernitsan.pdf

Mutation-driven generation of unit tests and oracles

Authors: Gordon Fraser, Andreas Zeller

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: https://www.st.cs.uni-saarland.de/publications/files/fraser-issta-2010.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Algorithms, Experimentation Keywords Mutation analysis, test case generation, unit testing, test oracles

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.7671