![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Matthew Staats
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i2]Elizabeth Bjarnason, Mirko Morandini, Markus Borg, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats:
Summary of 2nd International Workshop on Requirements Engineering and Testing (RET). CoRR abs/2308.01933 (2023)
2010 – 2019
- 2016
- [j7]Gregory Gay
, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. 25(3): 25:1-25:34 (2016) - 2015
- [j6]Elizabeth Bjarnason, Markus Borg, Mirko Morandini, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats:
Summary of 2nd International Workshop on Requirements Engineering and Testing (RET 2015): Co-located with ICSE 2015. ACM SIGSOFT Softw. Eng. Notes 40(5): 39-42 (2015) - [j5]Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel:
Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. Softw. Test. Verification Reliab. 25(4): 334-370 (2015) - [j4]Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg:
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. ACM Trans. Softw. Eng. Methodol. 24(4): 23:1-23:49 (2015) - [j3]Seonah Lee
, Sungwon Kang, Sunghun Kim, Matthew Staats:
The Impact of View Histories on Edit Recommendations. IEEE Trans. Software Eng. 41(3): 314-330 (2015) - [j2]Gregory Gay
, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Risks of Coverage-Directed Test Case Generation. IEEE Trans. Software Eng. 41(8): 803-819 (2015) - [j1]Gregory Gay
, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Automated Oracle Data Selection Support. IEEE Trans. Software Eng. 41(11): 1119-1137 (2015) - [c23]Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu:
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. ICSE (1) 2015: 506-516 - [c22]Elizabeth Bjarnason
, Mirko Morandini, Markus Borg
, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats:
2nd International Workshop on Requirements Engineering and Testing (RET 2015). ICSE (2) 2015: 997-998 - 2014
- [c21]Jung-Hyun Kwon, In-Young Ko, Gregg Rothermel, Matt Staats:
Test Case Prioritization Based on Information Retrieval Concepts. APSEC (1) 2014: 19-26 - [c20]Gregory Gay
, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Moving the goalposts: coverage satisfaction is not enough. SBST 2014: 19-22 - [c19]Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel:
Dodona: automated oracle data set selection. ISSTA 2014: 193-203 - [e1]Michael Felderer, Elizabeth Bjarnason, Matt Staats, Mirko Morandini, Markus Borg, Michael Unterkalmsteiner:
1st IEEE International Workshop on Requirements Engineering and Testing, RET 2014, Karlskrona, Sweden, August 26, 2014. IEEE 2014, ISBN 978-1-4799-6334-8 [contents] - [i1]Michael Felderer, Elizabeth Bjarnason, Markus Borg, Michael Unterkalmsteiner, Mirko Morandini, Matt Staats:
Workshop Summary of the 1st International Workshop on Requirements and Testing (RET'14). CoRR abs/1410.3401 (2014) - 2013
- [c18]Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats:
Observable modified Condition/Decision coverage. ICSE 2013: 102-111 - [c17]Seonah Lee
, Sungwon Kang, Matt Staats:
NavClus: a graphical recommender for assisting code exploration. ICSE 2013: 1315-1318 - [c16]Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel:
The Impact of Concurrent Coverage Metrics on Testing Effectiveness. ICST 2013: 232-241 - [c15]Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg:
Does automated white-box test generation really help software testers? ISSTA 2013: 291-301 - 2012
- [c14]Matt Staats, Gregory Gay
, Michael W. Whalen, Mats Per Erik Heimdahl:
On the Danger of Coverage Directed Test Case Generation. FASE 2012: 409-424 - [c13]Matt Staats, Gregory Gay, Mats Per Erik Heimdahl:
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. ICSE 2012: 870-880 - [c12]Matt Staats, Pablo S. Loyola, Gregg Rothermel:
Oracle-Centric Test Case Prioritization. ISSRE 2012: 311-320 - [c11]Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel:
Understanding user understanding: determining correctness of generated program invariants. ISSTA 2012: 188-198 - 2011
- [c10]Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Programs, tests, and oracles: the foundations of testing revisited. ICSE 2011: 391-400 - [c9]Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Better testing through oracle selection. ICSE 2011: 892-895 - 2010
- [c8]Matt Staats, Corina S. Pasareanu:
Parallel symbolic execution for structural test generation. ISSTA 2010: 183-194 - [c7]Matt Staats:
The influence of multiple artifacts on the effectiveness of software testing. ASE 2010: 517-522 - [c6]Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl:
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods 2010: 161-170
2000 – 2009
- 2009
- [c5]Matt Staats:
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. NASA Formal Methods 2009: 116-120 - 2008
- [c4]Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104 - [c3]Matthew Staats, Mats Per Erik Heimdahl:
Partial Translation Verification for Untrusted Code-Generators. ICFEM 2008: 226-237 - [c2]Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham:
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE 2008: 499-500 - [c1]Erik Shimshock, Matt Staats, Nicholas Hopper:
Breaking and Provably Fixing Minx. Privacy Enhancing Technologies 2008: 99-114
Coauthor Index
aka: Mats Per Erik Heimdahl
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint