Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Logic
• Mathematical logic
• Non-classical logic
• Markov logic network
• Software testing
• Probabilistic logic
• Software bug
• Code coverage
• Debugging
• Inference
• First-order logic
• Buggy

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Source URL: zhang-sai.github.io

• Software engineering
• Software
• Code coverage
• Software testing
• ARG2
• Xdebug
• Relational operator
• Tarantula
• Computer programming

Empir Software Eng DOIs10664Toward an understanding of bug fix patterns Kai Pan & Sunghun Kim & E. James Whitehead Jr.

Source URL: www.cse.ust.hk

An Extensive Comparison of Bug Prediction Approaches Marco D’Ambros, Michele Lanza REVEAL @ Faculty of Informatics University of Lugano, Switzerland Abstract—Reliably predicting software defects is one of software e

Source URL: www.inf.usi.ch

Revisiting Common Bug Prediction Findings Using Effort-Aware Models Yasutaka Kamei† , Shinsuke Matsumoto†† , Akito Monden‡ , Ken-ichi Matsumoto‡ , Bram Adams† and Ahmed E. Hassan† † Software Analysis and

Source URL: posl.ait.kyushu-u.ac.jp

Practical realisation and elimination of an ECC-related software bug attack? B. B. Brumley1 , M. Barbosa2 , D. Page3 , and F. Vercauteren4 1 Department of Information and Computer Science, Aalto University School of Scie

Source URL: eprint.iacr.org

• Cryptography
• Elliptic curve cryptography
• OpenSSL
• Elliptic-curve cryptography
• Elliptic curve
• Elliptic-curve DiffieHellman
• Elliptic Curve Digital Signature Algorithm
• Conversion

Automated Bug Removal for Software-Defined Networks Yang Wu? , Ang Chen? , Andreas Haeberlen? , Wenchao Zhou† , Boon Thau Loo? ? University of Pennsylvania, † Georgetown University

Source URL: www.cis.upenn.edu

Automated Bug Removal for Software-Defined Networks Yang Wu? , Ang Chen? , Andreas Haeberlen? , Wenchao Zhou† , Boon Thau Loo? ? University of Pennsylvania, † Georgetown University

Source URL: www.cis.upenn.edu

Delft University of Technology Software Engineering Research Group Technical Report Series Exception Handling Bug Hazards in Android: Results from a Mining Study

Source URL: ctreude.files.wordpress.com

Staccato: A Bug Finder for Dynamic Configuration Updates Introduction Today’s software is highly configurable [17, 42, 43]. This configurability increases the

Source URL: sandcat.cs.washington.edu