Search Results - Astorga, Angello

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects

    Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects by Lam, Wing, Winter, Stefan, Astorga, Angello, Stodden, Victoria, Marinov, Darko

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Perception Contracts for Safety of ML-Enabled Systems

    Perception Contracts for Safety of ML-Enabled Systems by Astorga, Angello, Hsieh, Chiao, Madhusudan, P., Mitra, Sayan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software

    CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software by Qin, Yi, Xie, Tao, Xu, Chang, Astorga, Angello, Lu, Jian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Synthesizing contracts correct modulo a test generator

    Synthesizing contracts correct modulo a test generator by Astorga, Angello, Saha, Shambwaditya, Dinkins, Ahmad, Wang, Felicia, Madhusudan, P., Xie, Tao

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    PreInfer: Automatic Inference of Preconditions via Symbolic Analysis

    PreInfer: Automatic Inference of Preconditions via Symbolic Analysis by Astorga, Angello, Srisakaokul, Siwakorn, Xiao, Xusheng, Xie, Tao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Grading-Based Test Suite Augmentation

    Grading-Based Test Suite Augmentation by Osei-Owusu, Jonathan, Astorga, Angello, Butler, Liia, Xie, Tao, Challen, Geoffrey

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation

    Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation by Jiayi Cao, Astorga, Angello, Srisakaokul, Siwakorn, Zhengkai Wu, Xueqing Liu, Xusheng Xiao, Tao Xie

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software

    CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software by Qin, Yi, Xie, Tao, Chang, Xu, Astorga, Angello, Lu, Jian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: