Request Upload
Papers
Browse Papers
displaying
1 - 26
papers in total
26
Any
Requirements engineering
Software modeling and design
Software visualization
Agile software development
Software performance
Configuration management and deployment
Debugging, fault localization, and repair
Recommendation systems
SE datasets, research infrastructure, and methodology
Programming languages
Empirical software engineering
End-user software engineering
Program synthesis
Machine learning and models
Ubiquitous/pervasive software systems
Performance
Code summarization
Crowd sourced software engineering
Traceability
Cyber physical systems
Software testing
Middleware, frameworks, and APIs
Refactoring
Autonomic and (self-)adaptive systems
Trends and challenges
Dependability, safety, and reliability
Security, privacy and trust
Software process
Tool taxonomy and adoption
Software evolution and maintenance
Apps and app store analysis
DevOps
Validation and verification
Software reuse
Software economics and metrics
Cloud computing
Energy consumption
Human and social aspects of software engineering
Program comprehension
Other
Specification and modeling languages
Tools and environments
Automated program repair
Clones and change
Formal methods
Distributed and collaborative software engineering
Fuzzing
Green and sustainable technologies
Component-based software engineering
Mining software engineering repositories
Model-driven engineering
Program analysis
Mobile applications
Reverse engineering
Search-based software engineering
Software architecture
Software product lines
Parallel, distributed, and concurrent systems
Embedded software
Human-computer interaction
Software services
Web testing
Filter
Sort By:
Recent
Author Name
Date
A-Z
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
Cong Wang | 2018
assertion recommendation
program weakness
formal program verification
program testing
None
Feedback-Based Debugging
Yun Lin | 2017
None
Angelix: scalable multiline program patch synthesis via symbolic analysis
Sergey Mechtaev | 2016
None
Precise condition synthesis for program repair
Gang Huang | 2017
None
Stochastic optimization of program obfuscation
Yu Jiang | 2017
None
Static automated program repair for heap properties
Rijnard van Tonder | 2018
None
Learning syntactic program transformations from examples
Reudismam Rolim | 2017
None
srcSlice: A Tool for Efficient Static Forward Slicing
Christian D. Newman | 2017
static forward program slicing
srcml
static program analysis
None
Identifying patch correctness in test-based program repair
Yingfei Xiong | 2018
None
Supporting software developers with a holistic recommender system
Luca Ponzanelli | 2017
None
Multi-view editing of software product lines with PEoPL
Mukelabai Mukelabai | 2018
annotative
modular
product lines
projectional editing
None
Toward Arbitrary Mapping for Debugging Visualizations
Vaibhav Saini | 2017
debugging visualization
visualization
debuggers
None
MDebugger: a model-level debugger for UML-RT
Mojtaba Bagherzadeh | 2018
mde
real-time and embedded systems
model-driven development
mdd
model-based debugging
uml-rt
None
Time to clean your test objectives
Michaël Marcozzi | 2018
None
SMUG: a Selective MUtant Generator tool
Simone Romano | 2017
selective mutant generator tool
regression testing
mutant
seeded fault
smug
None
RClassify: classifying race conditions in web applications via deterministic replay
Lu Zhang | 2017
None
Inferring and Asserting Distributed System Invariants
Stewart Grant | 2018
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
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
