UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Guiding Dynamic Symbolic Execution toward Unverified Program Executions

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.144-155

2016

Volltextzugriff (PDF)

Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1485-1497

2021

Volltextzugriff (PDF)

Automated verification of go programs via bounded model checking

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.1016-1027

2021

Volltextzugriff (PDF)

Evaluating and Improving Fault Localization

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.609-620

2017

Volltextzugriff (PDF)

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, p.621-640

2020

Volltextzugriff (PDF)

Early Life Cycle Software Defect Prediction: Why? How?

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.448-459

2021

Volltextzugriff (PDF)

Studying the Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.336-347

2021

Volltextzugriff (PDF)

How Do Developers Fix Cross-Project Correlated Bugs? A Case Study on the GitHub Scientific Python Ecosystem

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.381-392

2017

Volltextzugriff (PDF)

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.649-660

2021

Volltextzugriff (PDF)

An exploratory study of the pull-based software development model

Proceedings of the 36th International Conference on Software Engineering, 2014, p.345-355

2014

Volltextzugriff (PDF)

Predicting defects using network analysis on dependency graphs

2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.531-540

2008

Volltextzugriff (PDF)

Manticore: a user-friendly symbolic execution framework for binaries and smart contracts

2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.1186-1189

2019

Volltextzugriff (PDF)

Mining metrics to predict component failures

International Conference on Software Engineering: Proceeding of the 28th international conference on Software engineering; 20-28 May 2006, 2006, p.452-461

2006

Volltextzugriff (PDF)

Guidelines towards better participation of older adults in software development processes using a new SPIRAL method and participatory approach

Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering, 2018, p.49-56

2018

Volltextzugriff (PDF)

What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.712-723

2017

Volltextzugriff (PDF)

Patterns in property specifications for finite-state verification

Proceedings / International Conference on Software Engineering, 1999, p.411-420

1999

Volltextzugriff (PDF)

Testing autonomous cars for feature interaction failures using many-objective search

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.143-154

2018

Volltextzugriff (PDF)

Revisiting the relationship between fault detection, test adequacy criteria, and test set size

2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.237-249

2020

Volltextzugriff (PDF)

Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.266-277

2017

Volltextzugriff (PDF)

Static detection of cross-site scripting vulnerabilities

2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.171-180

2008

Volltextzugriff (PDF)

Empirical Validation of Three Software Metrics Suites to Predict Fault-Proneness of Object-Oriented Classes Developed Using Highly Iterative or Agile Software Development Processes

IEEE transactions on software engineering, 2007-06, Vol.33 (6), p.402-419

2007

Volltextzugriff (PDF)

A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction

2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.181-190

2008

Volltextzugriff (PDF)

Cross-Project Defect Prediction Using a Connectivity-Based Unsupervised Classifier

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.309-320

2016

Volltextzugriff (PDF)

An empirical characterization of stream programs and its implications for language and compiler design

2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT), 2010, p.365-376

2010

Volltextzugriff (PDF)

A Systematic Review of Software Development Cost Estimation Studies

IEEE transactions on software engineering, 2007-01, Vol.33 (1), p.33-53

2007

Volltextzugriff (PDF)

1 – 25 von 74.136

Menü

Weitere Dienste

Einstellungen

Guiding Dynamic Symbolic Execution toward Unverified Program Executions

Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements

Automated verification of go programs via bounded model checking

Evaluating and Improving Fault Localization

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Early Life Cycle Software Defect Prediction: Why? How?

Studying the Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks

How Do Developers Fix Cross-Project Correlated Bugs? A Case Study on the GitHub Scientific Python Ecosystem

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques

An exploratory study of the pull-based software development model

Predicting defects using network analysis on dependency graphs

Manticore: a user-friendly symbolic execution framework for binaries and smart contracts

Mining metrics to predict component failures

Guidelines towards better participation of older adults in software development processes using a new SPIRAL method and participatory approach

What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing

Patterns in property specifications for finite-state verification

Testing autonomous cars for feature interaction failures using many-objective search

Revisiting the relationship between fault detection, test adequacy criteria, and test set size

Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests

Static detection of cross-site scripting vulnerabilities

Empirical Validation of Three Software Metrics Suites to Predict Fault-Proneness of Object-Oriented Classes Developed Using Highly Iterative or Agile Software Development Processes

A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction

Cross-Project Defect Prediction Using a Connectivity-Based Unsupervised Classifier

An empirical characterization of stream programs and its implications for language and compiler design

A Systematic Review of Software Development Cost Estimation Studies

Aktive Filter

Suchergebnisse filtern