SIGSOFT 2007 - PDF Preprint Papers

SIGSOFT 2007 Foundations of Software Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SIGSOFT-2007 Paper

click to vote

SIGSOFT
2007
ACM

1173views Software Engineering» more SIGSOFT 2007»

Finding bugs efficiently with a SAT solver

14 years 5 months ago

Download domino.research.ibm.com

We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...

Julian Dolby, Mandana Vaziri, Frank Tip

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	1173	Finding bugs efficiently with a SAT solver	claim
2	310	Software engineering research: from cradle to grave	claim
3	267	Efficient token based clone detection with flexible tokenization	claim
4	255	Determining detailed structural correspondence for generalization tasks	claim
5	213	Improving test case generation for web applications using automated interface discovery	claim
6	212	Recommending random walks	claim
7	198	Quantitative verification: models techniques and tools	claim
8	191	A behavioural model for product families	claim
9	186	A specification-based approach to testing software product lines	claim
10	178	CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems	claim
11	173	Quantifying the effectiveness of testing via efficient residual path profiling	claim
12	169	Training on errors experiment to detect fault-prone software modules by spam filter	claim
13	167	The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties	claim
14	165	Model checking service compositions under resource constraints	claim
15	162	Reconciling software configuration management and product data management	claim
16	160	Predictive testing: amplifying the effectiveness of software testing	claim
17	159	Globally distributed software development project performance: an empirical analysis	claim
18	153	SLEDE: lightweight verification of sensor network security protocol implementations	claim
19	152	Mining API patterns as partial orders from source code: from usage scenarios to specifications	claim
20	149	Object and reference immutability using java generics	claim
21	148	Automated testing of refactoring engines	claim
22	148	Detection and resolution of atomicity violation in service composition	claim
23	148	Beyond refactoring: a framework for modular maintenance of crosscutting design idioms	claim
24	147	Fault and adversary tolerance as an emergent property of distributed systems' software architectures	claim
25	147	Mining specifications of malicious behavior	claim
26	145	Programming asynchronous layers with CLARITY	claim
27	141	Differential testing: a new approach to change detection	claim
28	138	Formal modeling of BPEL workflows including fault and compensation handling	claim
29	138	Efficient checkpointing of java software using context-sensitive capture and replay	claim
30	134	Program representations for testing wireless sensor network applications	claim
31	133	A study of interleaving coverage criteria	claim
32	133	Towards incremental adaptive covering arrays	claim
33	132	Program comprehension as fact finding	claim
34	131	An empirical study on the evolution of design patterns	claim
35	129	Symbolic message sequence charts	claim
36	129	Recovering and using use-case-diagram-to-source-code traceability links	claim
37	129	Measuring empirical computational complexity	claim
38	128	A framework for characterization and analysis of software system scalability	claim
39	128	Contract driven development = test driven development - writing test cases	claim
40	127	Automatic consistency assessment for query results in dynamic environments	claim
41	124	Parallel test generation and execution with Korat	claim
42	124	Which warnings should I fix first?	claim
43	124	RELAY: static race detection on millions of lines of code	claim
44	119	Using groupings of static analysis alerts to identify files likely to contain field failures	claim
45	119	Automated size analysis for OCL	claim
46	118	State coverage: a structural test adequacy criterion for behavior checking	claim
47	118	On marrying ontological and metamodeling technical spaces	claim
48	117	State space exploration using feedback constraint generation and Monte-Carlo sampling	claim
49	116	Test suite prioritization by interaction coverage	claim
50	116	Does a programmer's activity indicate knowledge of code?	claim
51	114	The impact of input domain reduction on search-based test data generation	claim
52	112	Context-based detection of clone-related bugs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers