Следене
Matthew Dwyer
Matthew Dwyer
Потвърден имейл адрес: virginia.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
Patterns in property specifications for finite-state verification
MB Dwyer, GS Avrunin, JC Corbett
Proceedings of the 21st international conference on Software engineering …, 1999
20151999
Bandera: Extracting finite-state models from Java source code
JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, H Zheng
Proceedings of the 22nd international conference on Software engineering …, 2000
15612000
Property specification patterns for finite-state verification
MB Dwyer, GS Avrunin, JC Corbett
Proceedings of the second workshop on Formal methods in software practice, 7-15, 1998
6951998
Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach
MB Cohen, MB Dwyer, J Shi
IEEE Transactions on Software Engineering 34 (5), 633-650, 2008
3882008
Bogor: an extensible and highly-modular software model checking framework
MB Dwyer, J Hatcliff
ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003
3432003
Differential symbolic execution
S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
3262008
Interaction testing of highly-configurable systems in the presence of constraints
MB Cohen, MB Dwyer, J Shi
Proceedings of the 2007 international symposium on Software testing and …, 2007
3122007
Slicing software for model construction
J Hatcli, MB Dwyer, H Zheng
Higher-order and symbolic computation 13 (4), 315-254, 2000
2852000
Cadena: An integrated development, analysis, and verification environment for component-based systems
J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
2652003
Evaluating improvements to a meta-heuristic search for constrained interaction testing
BJ Garvin, MB Cohen, MB Dwyer
Empirical Software Engineering 16, 61-102, 2011
2632011
Data flow analysis for verifying properties of concurrent programs
MB Dwyer, LA Clarke
ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994
2431994
Tool-supported program abstraction for finite-state verification
MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ...
Proceedings of the 23rd International Conference on Software Engineering …, 2001
2032001
Using the Bandera tool set to model-check properties of concurrent Java software
J Hatcliff, M Dwyer
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
1792001
Green: reducing, reusing and recycling constraints in program analysis
W Visser, J Geldenhuys, MB Dwyer
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
1702012
Coverage and adequacy in software product line testing
MB Cohen, MB Dwyer, J Shi
Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006
1662006
Probabilistic symbolic execution
J Geldenhuys, MB Dwyer, W Visser
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1612012
A formal study of slicing for multi-threaded programs with JVM concurrency primitives
J Hatcliff, J Corbett, M Dwyer, S Sokolowski, H Zheng
Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999
1601999
Assume-guarantee model checking of software: A comparative case study
CS Pasareanu, MB Dwyer, M Huth
Spin 99, 168-183, 1999
1381999
Automated environment generation for software model checking
O Tkachuk, MB Dwyer, CS Pasareanu
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
1302003
An improved meta-heuristic search for constrained interaction testing
BJ Garvin, MB Cohen, MB Dwyer
2009 1st International Symposium on Search Based Software Engineering, 13-22, 2009
1212009
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20