ACM Transactions on Software Engineering and Methodology

Material type: TextTextSeries: ; ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 4, 2022Publication details: New York : Association for Computing Machinery, 2022Description: [various pagings] : illustrations ; 26 cmISSN:
  • 1049-331X
Subject(s):
Contents:
Verification Witnesses -- BiRD: Race Detection in Software Binaries under Relaxed Memory Models -- A Common Terminology for Software Risk Management -- Adversarial Robustness of Deep Code Comment Generation -- Automated, Cost-effective, and Update-driven App Testing -- Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning -- Correlating Automated and Human Evaluation of Code Documentation Generation Quality -- Guaranteeing Timed Opacity using Parametric Timed Model Checking -- Deep Reinforcement Learning for Black-box Testing of Android Apps -- Accessibility in Software Practice: A Practitioner's Perspective -- How Do Successful and Failed Projects Differ? A Socio-Technical Analysis -- Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces -- Mutant Reduction Evaluation: What is There and What is Missing? -- Super-optimization of Smart Contracts -- Verification of Programs Sensitive to Heap Layout -- Boosting Compiler Testing via Compiler Optimization Exploration -- Predictive Mutation Analysis via the Natural Language Channel in Source Code -- Verifix: Verified Repair of Programming Assignments -- Turnover of Companies in OpenStack: Prevalence and Rationale -- Just-In-Time Defect Prediction on JavaScript Projects: A Replication Study -- Predicting Patch Correctness Based on the Similarity of Failing Test Cases -- An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement -- Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data -- Testing the Plasticity of Reinforcement Learning-based Systems -- Women's Participation in Open Source Software: A Survey of the Literature.
Summary: [Article Title: Verification Witnesses/ Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, and Michael Tautschnig, p. 57:1-57:69] Abstract: Over the last years, witness-based validation of verification results has become an
Item type: Serials
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Copy number Status Date due Barcode
Serials Serials National University - Manila LRC - Main Periodicals Gen. Ed. - CCIT ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 4, 2022 (Browse shelf(Opens below)) c.1 Available PER000000585
Browsing LRC - Main shelves, Shelving location: Periodicals, Collection: Gen. Ed. - CCIT Close shelf browser (Hides shelf browser)
No cover image available
No cover image available
No cover image available
No cover image available
No cover image available
No cover image available
No cover image available
ACM Transactions on Modeling and Computer Simulation, Volume 31, Issue 3, July 2021 ACM Transactions on Modeling and Computer Simulation ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 2, 2022 ACM Transactions on Software Engineering and Methodology ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, 2022 ACM Transactions on Software Engineering and Methodology ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 4, 2022 ACM Transactions on Software Engineering and Methodology ACM Transactions on Software Engineering and Methodology, Volume 32, Issue 2, 2023 ACM Transactions on Software Engineering and Methodology MIS Asia, Volume 2, March - April 2010 MIS Asia MIS Asia, Volume 5, September - October 2009 MIS Asia

Includes bibliography.

Verification Witnesses -- BiRD: Race Detection in Software Binaries under Relaxed Memory Models -- A Common Terminology for Software Risk Management -- Adversarial Robustness of Deep Code Comment Generation -- Automated, Cost-effective, and Update-driven App Testing -- Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning -- Correlating Automated and Human Evaluation of Code Documentation Generation Quality -- Guaranteeing Timed Opacity using Parametric Timed Model Checking -- Deep Reinforcement Learning for Black-box Testing of Android Apps -- Accessibility in Software Practice: A Practitioner's Perspective -- How Do Successful and Failed Projects Differ? A Socio-Technical Analysis -- Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces -- Mutant Reduction Evaluation: What is There and What is Missing? -- Super-optimization of Smart Contracts -- Verification of Programs Sensitive to Heap Layout -- Boosting Compiler Testing via Compiler Optimization Exploration -- Predictive Mutation Analysis via the Natural Language Channel in Source Code -- Verifix: Verified Repair of Programming Assignments -- Turnover of Companies in OpenStack: Prevalence and Rationale -- Just-In-Time Defect Prediction on JavaScript Projects: A Replication Study -- Predicting Patch Correctness Based on the Similarity of Failing Test Cases -- An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement -- Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data -- Testing the Plasticity of Reinforcement Learning-based Systems -- Women's Participation in Open Source Software: A Survey of the Literature.

[Article Title: Verification Witnesses/ Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, and Michael Tautschnig, p. 57:1-57:69] Abstract: Over the last years, witness-based validation of verification results has become an

There are no comments on this title.

to post a comment.