UB Paderborn / Katalog / Suche / in CDI

Guiding Dynamic Symbolic Execution toward Unverified Program Executions

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

2016

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext

Verfügbarkeit prüfen

Evaluating and Improving Fault Localization

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

2017

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

Early Life Cycle Software Defect Prediction: Why? How?

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

2021

Link zum Volltext
IEEE_Xplore

Automatic testing and improvement of machine translation

2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.974-985

2020

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

An exploratory study of the pull-based software development model

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

2014

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext
IEEE_Xplore

A study of oracle approximations in testing deep learning libraries

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

2019

Link zum Volltext
IEEE_Xplore

Patterns in property specifications for finite-state verification

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

1999

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

Static detection of cross-site scripting vulnerabilities

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

2008

Link zum Volltext
IEEE_Xplore

Change Distilling:Tree Differencing for Fine-Grained Source Code Change Extraction

IEEE transactions on software engineering, 2007-11, Vol.33 (11), p.725-743

2007

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

Monitoring Metric First-Order Temporal Properties

Journal of the ACM, 2015-05, Vol.62 (2), p.1-45, Article 15

2015

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext
IEEE_Xplore

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

Link zum Volltext
IEEE_Xplore

Curating GitHub for engineered software projects

Empirical software engineering : an international journal, 2017-12, Vol.22 (6), p.3219-3253

2017

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

Guiding Dynamic Symbolic Execution toward Unverified Program Executions

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

Evaluating and Improving Fault Localization

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

Automated verification of go programs via bounded model checking

Early Life Cycle Software Defect Prediction: Why? How?

Automatic testing and improvement of machine translation

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

An exploratory study of the pull-based software development model

Predicting defects using network analysis on dependency graphs

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

A study of oracle approximations in testing deep learning libraries

Patterns in property specifications for finite-state verification

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

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

Static detection of cross-site scripting vulnerabilities

Change Distilling:Tree Differencing for Fine-Grained Source Code Change Extraction

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

Monitoring Metric First-Order Temporal Properties

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

Curating GitHub for engineered software projects

Aktive Filter

Suchergebnisse filtern