Paper Info
Title
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs
Abstract
A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of Problem Oriented Software Engineering (POSE), an approach that ...
Year
DOI
Venue
2007
10.1109/SEFM.2007.43
SEFM
Keywords
Field
DocType
key challenge,formal world,towards a case-optimal symbolic,object-oriented programs,problem oriented software engineering,software engineering,non-formal real world,strong properties,execution algorithm,software component,object oriented programming,data structure,java,empirical study
Data structure,Programming language,Java annotation,Computer science,Java concurrency,Real time Java,Algorithm,Heap (data structure),Theoretical computer science,Symbolic execution,Concolic testing,Component-based software engineering
Conference
ISSN
ISBN
Citations 
1551-0255
0-7695-2884-8
9
PageRank 
References 
Authors
0.67
12
3
Name
Order
Citations
PageRank
Xianghua Deng117011.13
Robby21489104.82
John Hatcliff32373212.83