S
Sebastian Elbaum
Researcher at University of Virginia
Publications - 209
Citations - 9610
Sebastian Elbaum is an academic researcher from University of Virginia. The author has contributed to research in topics: Test suite & Regression testing. The author has an hindex of 44, co-authored 199 publications receiving 8704 citations. Previous affiliations of Sebastian Elbaum include Lincoln University (Pennsylvania) & University of Idaho.
Papers
More filters
Proceedings ArticleDOI
Saturation-based testing of concurrent programs
TL;DR: This study defines a family of coverage metrics for concurrent program testing that are well-suited to saturation-based adequacy and presents a study that explores their cost and effectiveness.
Proceedings ArticleDOI
Toward semantic search via SMT solver
TL;DR: This work proposes an approach for semantic search in which developers specify lightweight specifications and an SMT solver identifies matching programs from a repository that is automatically encoded offline so the search is efficient.
Proceedings ArticleDOI
Experimental program analysis: a new program analysis paradigm
TL;DR: It is shown how the use of an experimental program analysis paradigm can help researchers identify limitations of analysis techniques, improve existing experimental programAnalysis techniques, and create new experimentalprogram analysis techniques.
Proceedings ArticleDOI
Supporting end-users in the creation of dependable web clips
Sandeep Lingam,Sebastian Elbaum +1 more
TL;DR: End-user support for "clipping" information from a target web site to incorporate it into the end-user site is provided by providing a mechanism to identify the target clipping with multiple markers to increase robustness, and a dynamic assessment of the retrieved information to quantify its reliability.
Intrusion Detection Through Dynamic Software Measurement
Sebastian Elbaum,John C. Munson +1 more
TL;DR: It is shown, through the real-time analysis of the Linux kernel, that the authors can detect very subtle shifts in the behavior of a system, and an attempt to violate the security of the system will result in behavior that is outside the normal activity of theSystem and thus result in a perturbation in the normal profiles.