M. Staats
发表
Gregg Rothermel,
Shin Hong,
Moonzoo Kim,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Michael W. Whalen,
Mats P. E. Heimdahl,
Matt Staats,
2011,
ICSE 2011.
Corina S. Pasareanu,
Matthew Staats,
C. Pasareanu,
2010,
ISSTA '10.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2008,
ICFEM.
Gregg Rothermel,
Shin Hong,
Moonzoo Kim,
2015,
Softw. Test. Verification Reliab..
Gregg Rothermel,
Shin Hong,
Moonzoo Kim,
2012,
ISSTA 2012.
Gregory Gay,
Ajitha Rajan,
Mats Per Erik Heimdahl,
2016,
ACM Trans. Softw. Eng. Methodol..
Gordon Fraser,
Phil McMinn,
Andrea Arcuri,
2015,
ACM Trans. Softw. Eng. Methodol..
Ajitha Rajan,
Mats Per Erik Heimdahl,
Matthew Staats,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Gregory Gay,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2012,
FASE.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Matthew Staats,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Gregory Gay,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2014,
SBST 2014.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2010,
NASA Formal Methods.
Gregg Rothermel,
In-Young Ko,
Matthew Staats,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Gordon Fraser,
Phil McMinn,
Andrea Arcuri,
2013,
ISSTA.
Matthew Staats,
M. Staats,
2009,
NASA Formal Methods.