Підписатись
Matthew Dwyer
Matthew Dwyer
Thomson Distinguished Professor, University of Virginia
Підтверджена електронна адреса в 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
21501999
Bandera: Extracting finite-state models from Java source code
JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, Robby, ...
Proceedings of the 22nd international conference on Software engineering …, 2000
15932000
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
7641998
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
4092008
Differential symbolic execution
S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
3642008
Bogor: an extensible and highly-modular software model checking framework
Robby, MB Dwyer, J Hatcliff
ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003
3512003
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
3312007
Evaluating improvements to a meta-heuristic search for constrained interaction testing
BJ Garvin, MB Cohen, MB Dwyer
Empirical Software Engineering 16, 61-102, 2011
2952011
Slicing software for model construction
J Hatcliff, MB Dwyer, H Zheng
Higher-order and symbolic computation 13, 315-353, 2000
2932000
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
2692003
Data flow analysis for verifying properties of concurrent programs
MB Dwyer, LA Clarke
ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994
2501994
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
2082001
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
1932012
Probabilistic symbolic execution
J Geldenhuys, MB Dwyer, W Visser
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1862012
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
1822001
A formal study of slicing for multi-threaded programs with JVM concurrency primitives
J Hatcliff, J Corbett, M Dwyer, S Sokolowski, H Zheng
International Static Analysis Symposium, 1-18, 1999
1691999
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
1612006
Assume-guarantee model checking of software: A comparative case study
CS Păsăreanu, MB Dwyer, M Huth
International SPIN Workshop on Model Checking of Software, 168-183, 1999
1401999
A new foundation for control dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, J Hatcliff, MB Dwyer
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 27-es, 2007
1382007
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
1362009
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20