Request Upload
Papers
Browse Papers
displaying
1 - 26
papers in total
26
Any
Component-based software engineering
Middleware, frameworks, and APIs
Fuzzing
Software architecture
Dependability, safety, and reliability
Specification and modeling languages
Parallel, distributed, and concurrent systems
Code summarization
Refactoring
Mobile applications
Search-based software engineering
Human-computer interaction
Programming languages
Software economics and metrics
Ubiquitous/pervasive software systems
Software modeling and design
Web testing
Apps and app store analysis
SE datasets, research infrastructure, and methodology
Software reuse
Tool taxonomy and adoption
Traceability
Security, privacy and trust
Mining software engineering repositories
Formal methods
Automated program repair
Human and social aspects of software engineering
Software performance
End-user software engineering
Trends and challenges
Software testing
Distributed and collaborative software engineering
Reverse engineering
Software evolution and maintenance
Embedded software
Performance
Cloud computing
Cyber physical systems
Energy consumption
Program synthesis
Tools and environments
Agile software development
Empirical software engineering
Software visualization
Green and sustainable technologies
Validation and verification
Other
Machine learning and models
Program comprehension
Model-driven engineering
Crowd sourced software engineering
Debugging, fault localization, and repair
Clones and change
Program analysis
Autonomic and (self-)adaptive systems
Recommendation systems
DevOps
Software services
Configuration management and deployment
Software process
Software product lines
Requirements engineering
Filter
Sort By:
Recent
Author Name
Date
A-Z
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
Cong Wang
2018
None
Angelix: scalable multiline program patch synthesis via symbolic analysis
Sergey Mechtaev
2016
None
Stochastic optimization of program obfuscation
Yu Jiang
2017
None
Learning syntactic program transformations from examples
Reudismam Rolim
2017
None
Precise condition synthesis for program repair
Gang Huang
2017
None
Supporting software developers with a holistic recommender system
Luca Ponzanelli
2017
None
Static automated program repair for heap properties
Rijnard van Tonder
2018
None
Identifying patch correctness in test-based program repair
Yingfei Xiong
2018
None
Multi-view editing of software product lines with PEoPL
Mukelabai Mukelabai
2018
None
MDebugger: a model-level debugger for UML-RT
Mojtaba Bagherzadeh
2018
None
Feedback-Based Debugging
Yun Lin
2017
None
Inferring and Asserting Distributed System Invariants
Stewart Grant
2018
None
Toward Arbitrary Mapping for Debugging Visualizations
Vaibhav Saini
2017
None
srcSlice: A Tool for Efficient Static Forward Slicing
Christian D. Newman
2017
None
SMUG: a Selective MUtant Generator tool
Simone Romano
2017
None
RClassify: classifying race conditions in web applications via deterministic replay
Lu Zhang
2017
None
LibRadar: fast and accurate detection of third-party libraries in Android apps
Ziang Ma
2017
None
An Efficient, Robust, and Scalable Approach for Analyzing Interacting Android Apps
Yutaka Tsutano
2017
None
Time to clean your test objectives
Michaël Marcozzi
2018
None
UFO: predictive concurrency use-after-free detection
Jeff Huang
2018
None
Symbolic Model Extraction for Web Application Verification
Ivan Bocić
2017
None
IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions
Hao Sun
2016
None
