Patterns in property specifications for finite-state verification von Dwyer, Matthew B., Avrunin, George S., Corbett, James C.

Volltext

Conditional Quantitative Program Analysis von Gerrard, Mitchell, Borges, Mateus, Dwyer, Matthew B., Filieri, Antonio

Volltext

Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach von Cohen, M.B., Dwyer, M.B., Jiangfan Shi

Volltext

Using Symbolic States to Infer Numerical Invariants von Nguyen, ThanhVu, Nguyen, KimHao, Dwyer, Matthew B.

Volltext

Improving Timeliness and Visibility in Publishing Software Engineering Research von Dwyer, Matthew B.

Volltext

Code search with input/output queries: Generalizing, ranking, and assessment von Stolee, Kathryn T., Elbaum, Sebastian, Dwyer, Matthew B.

Volltext

Evaluating improvements to a meta-heuristic search for constrained interaction testing von Garvin, Brady J., Cohen, Myra B., Dwyer, Matthew B.

Volltext

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs von Dwyer, Matthew B., Hatcliff, John, Ranganath, Venkatesh Prasad

Volltext

The hidden models of model checking von Visser, Willem, Dwyer, Matthew B., Whalen, Michael

Volltext

Implications of data topology for deep generative models von Yinzhu Jin, Rory McDaniel, N. Joseph Tatro, Michael J. Catanzaro, Abraham D. Smith, Abraham D. Smith, Paul Bendich, Paul Bendich, Matthew B. Dwyer, P. Thomas Fletcher, P. Thomas Fletcher

Volltext

A new foundation for control dependence and slicing for modern program structures von RANGANATH, Venkatesh Prasad, AMTOFT, Torben, BANERJEE, Anindya, HATCLIFF, John, DWYER, Matthew B

Volltext

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis von Sherman, Elena, Garvin, Brady J., Dwyer, Matthew B.

Volltext

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs von Dwyer, Matthew B., Hatcliff, John, Hoosier, Matthew, Ranganath, Venkatesh, Robby, Wallentine, Todd

Volltext

Connecting and Serving the Software Engineering Community von Dwyer, Matthew B., Bodden, Eric, Fitzgerald, Brian, Kim, Miryung, Kim, Sunghun, Ko, Andrew J., Mendes, Emilia, Mirandola, Raffaela, Moreira, Ana, Shull, Forrest, Siegel, Stephen, Xie, Tao, Zhang, Charles

Volltext

Algorithm Selection for Software Verification Using Graph Neural Networks von Leeson, Will, Dwyer, Matthew B.

Volltext

Carving and Replaying Differential Unit Test Cases from System Test Cases von Elbaum, S., Hui Nee Chin, Dwyer, M.B., Jorde, M.

Volltext

Verifying atomicity specifications for concurrent object-oriented software using model-checking von HATCLIFF, John, ROBBY, DWYER, Matthew B

Volltext

Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing von Dola, Swaroopa, Dwyer, Matthew B., Soffa, Mary Lou

Volltext

Finding Flaws in Natural Language Requirements von Dwyer, Matthew B.

Volltext

The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs von Woodlief, Trey, Toledo, Felipe, Elbaum, Sebastian, Dwyer, Matthew B.

Volltext