Specification-Guided Automated Debugging of CPS Models

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2020.3012862 ◽

2020 ◽

Vol 39 (11) ◽

pp. 4142-4153

Author(s):

Nikhil Kumar Singh ◽

Indranil Saha

Keyword(s):

Automated Debugging

Download Full-text

Automated debugging: past, present, and future (ISSTA impact paper award)

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ◽

10.1145/3460319.3472397 ◽

2021 ◽

Author(s):

Chris Parnin ◽

Alessandro Orso

Keyword(s):

Paper Award ◽

Automated Debugging

Download Full-text

Towards the automated debugging and maintenance of logic-based requirements models

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) ◽

10.1109/ase.1998.732591 ◽

2002 ◽

Author(s):

T.L. McCluskey ◽

M.M. West

Keyword(s):

Automated Debugging ◽

Requirements Models

Download Full-text

Automated Debugging of Resistance Inflexion of OCXO

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.433-440.5601 ◽

2012 ◽

Vol 433-440 ◽

pp. 5601-5606

Author(s):

Jian Ping Ma ◽

Bing Wang

Keyword(s):

Mass Production ◽

Computer Software ◽

Automated Testing ◽

Single Chip ◽

Production Time ◽

Automated Debugging

This paper presents a method of automated testing inflexion of OCXO by computer. It has been greatly reduced the debugging process and production time of OCXO through the configuration consisted by computer software and AVR single chip designing. All the advantages mentioned above contribute to the mass production of OCXO

Download Full-text

Automated Debugging of Arithmetic Circuits Using Incremental Gröbner Basis Reduction

2017 IEEE International Conference on Computer Design (ICCD) ◽

10.1109/iccd.2017.37 ◽

2017 ◽

Author(s):

Farimah Farahmandi ◽

Prabhat Mishra

Keyword(s):

Arithmetic Circuits ◽

Automated Debugging ◽

Basis Reduction ◽

Download Full-text

X-Diag: Automated Debugging Cross-Browser Issues in Web Applications

2018 IEEE International Conference on Web Services (ICWS) ◽

10.1109/icws.2018.00016 ◽

2018 ◽

Author(s):

Shaopeng Xu ◽

Chenyu Zhou ◽

Zhiwei Gu ◽

Guoquan Wu ◽

Wei Chen ◽

...

Keyword(s):

Web Applications ◽

Automated Debugging

Download Full-text

BigSift: automated debugging of big data analytics in data-intensive scalable computing

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3264586 ◽

2018 ◽

Author(s):

Muhammad Ali Gulzar ◽

Siman Wang ◽

Miryung Kim

Keyword(s):

Big Data ◽

Data Analytics ◽

Big Data Analytics ◽

Scalable Computing ◽

Data Intensive ◽

Automated Debugging

Download Full-text

Automated Debugging in Java Programs Using HDM

Lecture Notes in Computer Science - Computational Science — ICCS 2003 ◽

10.1007/3-540-44864-0_87 ◽

2003 ◽

pp. 849-858

Author(s):

Hoon-Joon Kouh ◽

Weon-Hee Yoo

Keyword(s):

Automated Debugging ◽

Download Full-text

Automated Debugging for Synchronization Bugs

Debug Automation from Pre-Silicon to Post-Silicon ◽

10.1007/978-3-319-09309-3_5 ◽

2014 ◽

pp. 63-76 ◽

Author(s):

Mehdi Dehbashi ◽

Görschwin Fey

Keyword(s):

Automated Debugging

Download Full-text

Usability criteria for automated debugging systems

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019398 ◽

2005 ◽

pp. 16-39

Author(s):

Nahid Shahmehri ◽

Mariam Kamkar ◽

Peter Fritzson

Keyword(s):

Automated Debugging ◽

Usability Criteria

Download Full-text

Automated Debugging: Are We There Yet?

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2011.16 ◽

2011 ◽

Author(s):

Alex Orso

Keyword(s):

Automated Debugging

Download Full-text