Verification and validation in the context of domain-specific modelling

Authors: Janne Merilinna, Juha Pärssinen

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification- Validation General Terms Design, Languages and Verification Keywords Model-Driven Development, Model-Based Testing and Requirements Tracing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.1833; http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.1833
http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf

Residual Investigation: Predictive and Precise Bug Detection

Authors: Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://ranger.uta.edu/~csallner/papers/li12residual.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Design, Reliability, Verification Keywords False warnings, existing test cases, RFBI

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.1790; http://ranger.uta.edu/~csallner/papers/li12residual.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.1790
http://ranger.uta.edu/~csallner/papers/li12residual.pdf

Residual Investigation: Predictive and Precise Bug Detection

Authors: Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://people.cs.umass.edu/~kaituo/rfbi-issta12.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Design, Reliability, Verification Keywords False warnings, existing test cases, RFBI

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.7662
http://people.cs.umass.edu/~kaituo/rfbi-issta12.pdf

Residual Investigation: Predictive and Precise Bug Detection

Authors: Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.umass.edu/%7Eyannis/residual-issta12.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Design, Reliability, Verification Keywords False warnings, existing test cases, RFBI

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.5124
http://www.cs.umass.edu/%7Eyannis/residual-issta12.pdf