Search Results - DWYER, Matthew B

Refine Results
  1. 1
    Patterns in property specifications for finite-state verification

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

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Conditional Quantitative Program Analysis

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Using Symbolic States to Infer Numerical Invariants

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Reducing DNN Properties to Enable Falsification with Adversarial Attacks

    Reducing DNN Properties to Enable Falsification with Adversarial Attacks by Shriver, David, Elbaum, Sebastian, Dwyer, Matthew B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Distribution-Aware Testing of Neural Networks Using Generative Models

    Distribution-Aware Testing of Neural Networks Using Generative Models by Dola, Swaroopa, Dwyer, Matthew B., Soffa, Mary Lou

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Improving Timeliness and Visibility in Publishing Software Engineering Research

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

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Code search with input/output queries: Generalizing, ranking, and assessment

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Sibyl: Improving Software Engineering Tools with SMT Selection

    Sibyl: Improving Software Engineering Tools with SMT Selection by Leeson, Will, Dwyer, Matthew B, Filieri, Antonio

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Evaluating improvements to a meta-heuristic search for constrained interaction testing

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles

    S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles by Woodlief, Trey, Toledo, Felipe, Elbaum, Sebastian, Dwyer, Matthew B.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing

    CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing by Dola, Swaroopa, McDaniel, Rory, Dwyer, Matthew B., Soffa, Mary Lou

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Measuring and Mitigating Gaps in Structural Testing

    Measuring and Mitigating Gaps in Structural Testing by Hossain, Soneya Binta, Dwyer, Matthew B., Elbaum, Sebastian, Nguyen-Tuong, Anh

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Distribution Models for Falsification and Verification of DNNs

    Distribution Models for Falsification and Verification of DNNs by Toledo, Felipe, Shriver, David, Elbaum, Sebastian, Dwyer, Matthew B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

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

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    The hidden models of model checking

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    A new foundation for control dependence and slicing for modern program structures

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  19. 19
    Parallel Randomized State-Space Search

    Parallel Randomized State-Space Search by Dwyer, M.B., Elbaum, S., Person, S., Purandare, R.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Connecting and Serving the Software Engineering Community

    Connecting and Serving the Software Engineering Community by 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

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: