 |
|
|
|
|
|
|
|
| |
|
|
|
| |
|
|
|
| |
 |
|
|
|
| |
|
|
|
| |
M.B. Dwyer and V. Gruhn. Proceedings of the 30th International Conference on Software Engineering. ACM, 2008. |
|
|
| |
X. Deng, M.B. Dwyer, J. Hatcliff, M. Hoosier, & Robby."Customizable Model Checking for Embedded Software" Information Security Research. Wiley, 2007. |
|
|
| |
M.B. Dwyer and A. Lopes. Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering. Springer, 2007. |
|
|
| |
|
|
|
| |
M.B. Cohen, M.B. Dwyer, and J. Shi. "Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: a Greedy Approach." IEEE Transactions on Software Engineering. doi:10.1109/TSE.2008.50 (2008). <http://doi.ieeecomputersociety.org/10.1109/TSE....> |
|
|
| |
Robby, E. Rodriguez, M.B. Dwyer & J. Hatcliff. "Checking JML specifications using an extensible software model checking framework." International Journal on Software Tools for Technology Transfer (STTT). 8.3 (2006): 280-299 |
|
|
| |
Ranganath, V.P., Amtoft, T., Banerjee, A., Dwyer, M.B., & Hatcliff, J. "A New Foundation for Control-Dependence and Slicing for Modern Program Structures." ACM Transactions on Programming Languages and Systems. 29.5 (2007). <http://portal.acm.org/citation.cfm?doid=1275497...> |
|
|
| |
|
|
|
| |
M.B. Dwyer and R. Purandare. "Residual Checking of Safety Properties." SPIN Workshop on Software Model Checking. (2008). |
|
|
| |
S. Person, M.B. Dwyer, S. Elbaum and C.S. Pasareanu. "Differential Symbolic Execution." 16th ACM SIGSOFT Symposium on Foundations of Software Engineering. (2008). |
|
|
| |
M.B. Dwyer, M. Diep and S. Elbaum. "Reducing the Cost of Path Property Monitoring Through Sampling." 23rd IEEE/ACM International Conference on Automated Software Engineering. (2008). |
|
|
| |
M. Jorde, S. Elbaum, and M.B. Dwyer. "Increasing Test Granularity by Aggregating Unit Tests." 23rd IEEE/ACM International Conference on Automated Software Engineering. (2008). |
|
|
| |
M. Diep, S. Elbaum, M. Dwyer. "Trace Normalization." International Symposium of Software Reliability Engineering. (2008): 67-76 |
|
|
| |
M.B. Dwyer, S. Elbaum, S. Person and R. Purandare. "Parallel Randomized State-Space Search ." 29th International Conference on Software Engineering. (2007): 3-12 <http://doi.ieeecomputersociety.org/10.1109/ICSE...> |
|
|
| |
M.B. Dwyer and R. Purandare. "Residual dynamic typestate analysis: exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis." 22nd IEEE/ACM International Conference on Automated Software Engineering. (2007): 124-133 <http://doi.acm.org/10.1145/1321631.1321651> |
|
|
| |
M. Diep, S. Elbaum and M.B. Dwyer. "Reducing Irrelevant Trace Variaions." 22nd IEEE/ACM International Conference on Automated Software Engineering. (2007): 477-480 <http://doi.acm.org/10.1145/1321631.1321713> |
|
|
| |
M.B. Cohen, M.B. Dwyer and J. Shi. "Interaction Testing of Highly-Configurable Systems in the Presence of Constraints." International Symposium on Software Testing and Analysis (ISSTA). (2007): 129-139 |
|
|
| |
M.B. Cohen, M.B. Dwyer and J. Shi. "Exploiting Constraint Solving History to Construct Interaction Test Suites." Testing: Academic and Industrial Conference-Practice and Research Techniques (TAIC PART). (2007): 121-130 |
|
|
| |
M.B. Dwyer, J. Hatcliff, C. Pasareanu, Robby & W. Visser. "Formal Software Analysis: emerging Trends in Software Model Checking." Future of Software Engineering. (2007): 120-136 <http://portal.acm.org/ft_gateway.cfm?id=1254714...> |
|
|
| |
A. Kinneer, M.B. Dwyer, W. Rothermel. "Sofya: supporting Rapid Development of Dyanmic Program Analyses for Java." 29th International Conference on Software Engineering. (2007). |
|
|
| |
Robby, M.B. Dwyer, J. Hatcliff & M. Hossier. "Bogor: A Flexible Framework for Creating Software Model Checkers." TAIC PART. (2006): 3-22 |
|
|
| |
M.B. Dwyer, A. Kinneer, & S. Elbaum. "Adaptive Online Program Analysis." 29th International Conference on Sofware Engineering. (2007): 220-229 <http://doi.ieeecomputersociety.org/10.1109/ICSE...> |
|
|
| |
S. Elbaum, H.N. Chin, M.B. Dwyer & J. Dokulil. "Carving Differential Unit Test Cases from System Test Cases." 14th ACM SIGSOFT Symposium on Foundations of Software Engineering. (2006): 253-264 <http://portal.acm.org/citation.cfm?doid=1181775...> |
|
|
| |
M.B. Dwyer, S. Elbaum, & S. Person. "Controlling factors in evaluating path-sensitive error detection techniques." 14th ACM SIGSOFT Symposium on Foundations of Software Engineering. (2006): 92-104 <http://portal.acm.org/citation.cfm?doid=1181775...> |
|
|
| |
M.B. Dwyer, J. Hatcliff, M. Hoosier, V.P. Ranganath & T. Wallentine. "Evaluating the Effectiveness of Slicing for Mod Reduction of Concurrent Object-Oriented Programs." 12th International Conference on Tools and Algorithms for the Constrtuction and Analysis of Systems. (2006): 73-89 |
|
|
| |
M. B. Cohen, M. B. Dwyer and J. Shi. "Coverage and Adequacy in Software Product Line Testing." Proceedings of the ISSTA Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA). (2006): 53-63 |
|
|
| |
|
|
|
| |
Hui Nee Chin, Sebastian Elbaum, Matthew B. Dwyer, Matthew Jorde . DUTs: Targeted Case Studies
. 08/12/2008. Download:TR-UNL-CSE-2008-0005
|
|
|
| |
Matthew B. Dwyer, Sebastian Elbaum, Suzette Person, and Rahul Purandare. Parallel Randomized State-space Search. 10/02/2006. Download:TR-UNL-CSE-2006-0013
|
|
|
| |
Matthew B. Dwyer, Alex Kinneer, Sebastian Elbaum. Adaptive Online Program Analysis: Concepts, Infrastructure, and Applications. 09/12/2006. Download:TR-UNL-CSE-2006-0011
|
|
|
| |
Matthew Dwyer, Suzette Person, and Sebastian Elbaum. Controlling Factors in Evaluating Path-sensitive Error Detection Techniques. 04/30/2006. Download:TR-UNL-CSE-2006-0009
|
|
|
| |
S. Elbaum, H. Chin, M. Dwyer, J. Dokulil. Carving Differential Unit Test Cases from System Test Cases. 04/15/2006. Download:TR-UNL-CSE-2006-0008
|
|
|
| |
Alex Kinneer, Matt Dwyer, Gregg Rothermel. Sofya: A Flexible Framework for Development of Dynamic Program Analyses for Java Software. 04/15/2006. TR-UNL-CSE-2006-0006 |
|
|
