Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Py-holmes: Causal Testing for Deep Neural Networks in Python
FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software EngineeringPages 602–606https://doi.org/10.1145/3663529.3663807Deep learning has become a go-to solution for many problems. This increases the importance of our ability to understand and improve these technologies. While many tools exist to support debugging deep learning models (e.g., DNNs), few attempt to provide ...
- research-articleApril 2024
Exploring Experiences with Automated Program Repair in Practice
ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software EngineeringArticle No.: 86, Pages 1–11https://doi.org/10.1145/3597503.3639182Automated program repair, also known as APR, is an approach for automatically repairing software faults. There is a large amount of research on automated program repair, but very little offers in-depth insights into how practitioners think about and ...
- research-articleMarch 2024
Can Language Models Employ the Socratic Method? Experiments with Code Debugging
SIGCSE 2024: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1Pages 53–59https://doi.org/10.1145/3626252.3630799When employing the Socratic method of teaching, instructors guide students toward solving a problem on their own rather than providing the solution directly. While this strategy can substantially improve learning outcomes, it is usually time-consuming ...
- research-articleJune 2021
How Students Unit Test: Perceptions, Practices, and Pitfalls
ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1Pages 248–254https://doi.org/10.1145/3430665.3456368Unit testing is reported as one of the skills that graduating students lack, yet it is an essential skill for professional software developers. Understanding the challenges students face during testing can help inform practices for software testing ...
- research-articleAugust 2020
Why can't johnny fix vulnerabilities: a usability evaluation of static analysis tools for security
SOUPS'20: Proceedings of the Sixteenth USENIX Conference on Usable Privacy and SecurityArticle No.: 13, Pages 221–238Static analysis tools can help prevent security incidents, but to do so, they must enable developers to resolve the defects they detect. Unfortunately, developers often struggle to interact with the interfaces of these tools, leading to tool abandonment, ...
- posterAugust 2020
MatchingRef: Matching Variable Names in a Reference Page to Help Introductory CS Students Fix Compiler Errors
ICER '20: Proceedings of the 2020 ACM Conference on International Computing Education ResearchPage 302https://doi.org/10.1145/3372782.3408118Debugging compiler errors is essential to programming and can be challenging for novice programmers. In introductory computer science courses, challenging errors can discourage students. One reason these errors are difficult to resolve is that most ...
- research-articleSeptember 2019
How Developers Diagnose Potential Security Vulnerabilities with a Static Analysis Tool
IEEE Transactions on Software Engineering (ISOF), Volume 45, Issue 9Pages 877–897https://doi.org/10.1109/TSE.2018.2810116While using security tools to resolve security defects, software developers must apply considerable effort. Success depends on a developer's ability to interact with tools, ask the right questions, and make strategic decisions. To build better security ...
- research-articleOctober 2018
Does ACM’s code of ethics change ethical decision making in software development?
ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringPages 729–733https://doi.org/10.1145/3236024.3264833Ethical decisions in software development can substantially impact end-users, organizations, and our environment, as is evidenced by recent ethics scandals in the news. Organizations, like the ACM, publish codes of ethics to guide software-related ...
Just-in-time static analysis
ISSTA 2017: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 307–317https://doi.org/10.1145/3092703.3092705We present the concept of Just-In-Time (JIT) static analysis that interleaves code development and bug fixing in an integrated development environment. Unlike traditional batch-style analysis tools, a JIT analysis tool presents warnings to code ...
- research-articleMay 2017
Do developers read compiler error messages?
ICSE '17: Proceedings of the 39th International Conference on Software EngineeringPages 575–585https://doi.org/10.1109/ICSE.2017.59In integrated development environments, developers receive compiler error messages through a variety of textual and visual mechanisms, such as popups and wavy red underlines. Although error messages are the primary means of communicating defects to ...
- research-articleMay 2017
Cheetah: just-in-time taint analysis for Android apps
ICSE-C '17: Proceedings of the 39th International Conference on Software Engineering CompanionPages 39–42https://doi.org/10.1109/ICSE-C.2017.20Current static-analysis tools are often long-running, which causes them to be sidelined into nightly build checks. As a result, developers rarely use such tools to detect bugs when writing code, because they disrupt their workflow. In this paper, we ...
- research-articleNovember 2016
Paradise unplugged: identifying barriers for female participation on stack overflow
FSE 2016: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software EngineeringPages 846–857https://doi.org/10.1145/2950290.2950331It is no secret that females engage less in programming fields than males. However, in online communities, such as Stack Overflow, this gender gap is even more extreme: only 5.8% of contributors are female. In this paper, we use a mixed-methods ...
- research-articleNovember 2016
A cross-tool communication study on program analysis tool notifications
- Brittany Johnson,
- Rahul Pandita,
- Justin Smith,
- Denae Ford,
- Sarah Elder,
- Emerson Murphy-Hill,
- Sarah Heckman,
- Caitlin Sadowski
FSE 2016: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software EngineeringPages 73–84https://doi.org/10.1145/2950290.2950304Program analysis tools use notifications to communicate with developers, but previous research suggests that developers encounter challenges that impede this communication. This paper describes a qualitative study that identifies 10 kinds of challenges ...
- demonstrationMay 2016
Identifying successful strategies for resolving static analysis notifications
ICSE '16: Proceedings of the 38th International Conference on Software Engineering CompanionPages 662–664https://doi.org/10.1145/2889160.2891034Although static analysis tools detect potential code defects early in the development process, they do not fully support developers in resolving those defects. To accurately and efficiently resolve defects, developers must orchestrate several complex ...
- research-articleAugust 2015
Questions developers ask while diagnosing potential security vulnerabilities with static analysis
ESEC/FSE 2015: Proceedings of the 2015 10th Joint Meeting on Foundations of Software EngineeringPages 248–259https://doi.org/10.1145/2786805.2786812Security tools can help developers answer questions about potential vulnerabilities in their code. A better understanding of the types of questions asked by developers may help toolsmiths design more effective tools. In this paper, we describe how we ...
- research-articleMay 2015
Fuse: a reproducible, extendable, internet-scale corpus of spreadsheets
Spreadsheets are perhaps the most ubiquitous form of end-user programming software. This paper describes a corpus, called Fuse, containing 2,127,284 URLs that return spreadsheets (and their HTTP server responses), and 249,376 unique spreadsheets, ...
- bookMay 2007
Inside microsoft windows® communication foundation
Dive deep into the operation of Windows Communication Foundation with this practical, hands-on book-and learn the intricacies of Windows Communication Foundation and service-oriented concepts and implementations. Fundamentally, services are not objects. ...