FASE 2009 - PDF Preprint Papers

FASE 2009 Internationsl Conference on Fundamental Approaches to Software Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FASE-2009 Paper

click to vote

FASE
2009
Springer

174views Software Engineering» more FASE 2009»

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

14 years 7 months ago

Download www.cs.sunysb.edu

Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is diﬃcult. Atomicity violation, which is ...

Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D....

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	174	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis	claim
2	155	Certification of Smart-Card Applications in Common Criteria	claim
3	147	Control Dependence for Extended Finite State Machines	claim
4	140	SNIFF: A Search Engine for Java Using Free-Form Queries	claim
5	132	Object Flow Definition for Refined Activity Diagrams	claim
6	131	Finding Loop Invariants for Programs over Arrays Using a Theorem Prover	claim
7	129	Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection	claim
8	128	Problem-Oriented Documentation of Design Patterns	claim
9	128	Algorithms for Automatically Computing the Causal Paths of Failures	claim
10	126	CADS: Computer-Aided Development of Self- Systems	claim
11	121	Reducing the Costs of Bounded-Exhaustive Testing	claim
12	120	Formal Foundation for Pattern-Based Modelling	claim
13	120	Controller Synthesis from LSC Requirements	claim
14	116	A Formal Connection between Security Automata and JML Annotations	claim
15	114	Enhanced Property Specification and Verification in BLAST	claim
16	109	Interface Generation and Compositional Verification in JavaPathfinder	claim
17	108	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy	claim
18	108	Mining API Error-Handling Specifications from Source Code	claim
19	106	A Formal Way from Text to Code Templates	claim
20	101	hol-TestGen	claim
21	101	Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks	claim
22	97	Scalable Analysis of Scalable Systems	claim
23	94	Inquiry and Introspection for Non-deterministic Queries in Mobile Networks	claim
24	89	Proving Consistency of Pure Methods and Model Fields	claim
25	88	On the Implementation of @pre	claim
26	80	Logical Testing	claim
27	70	Synchronous Modeling and Validation of Priority Inheritance Schedulers	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers