ICSE 2004 - PDF Preprint Papers

ICSE 2004 International Conference on Software Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICSE-2004 Paper

click to vote

ICSE
2004
IEEE-ACM

251views Software Engineering» more ICSE 2004»

JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications

14 years 5 months ago

Download www.cs.ucdavis.edu

Carl Gould, Zhendong Su, Premkumar T. Devanbu

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	251	JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications	claim
2	201	Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases	claim
3	183	A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams	claim
4	178	Validating the Unit Correctness of Spreadsheet Programs	claim
5	174	AcmeStudio: Supporting Style-Centered Architecture Development	claim
6	169	Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods	claim
7	159	Finding Latent Code Errors via Machine Learning over Program Executions	claim
8	159	Architecting and Implementing Versatile Dependability	claim
9	153	Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems	claim
10	151	Dependable Composite Web Services with Components Upgraded Online	claim
11	143	Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes	claim
12	140	Adding High Availability and Autonomic Behavior to Web Services	claim
13	140	Evaluating Object-Oriented Designs with Link Analysis	claim
14	140	Architecture-Based Reliability Prediction for Service-Oriented Computing	claim
15	140	Precise Modeling of Design Patterns in UML	claim
16	139	Component-Based Self-Adaptability in Peer-to-Peer Architectures	claim
17	139	Theme: An Approach for Aspect-Oriented Analysis and Design	claim
18	139	GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions	claim
19	138	Imposing a Memory Management Discipline on Software Deployment	claim
20	137	Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow	claim
21	134	Assume-Guarantee Verification of Source Code with Design-Level Assumptions	claim
22	133	Design of Large-Scale Polylingual Systems	claim
23	132	Second International Workshop on Dynamic Analysis (WODA 2004)	claim
24	132	Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model	claim
25	129	The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report	claim
26	128	A Framework for Ensuring and Improving Dependability in Highly Distributed Systems	claim
27	128	The Role of Agreements in IT Management Software	claim
28	127	A Model Driven Approach for Software Systems Reliability	claim
29	127	DiscoTect: A System for Discovering Architectures from Running Systems	claim
30	125	The CommUnity Workbench	claim
31	124	Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams	claim
32	124	The Lost Art of Abstraction	claim
33	122	Skoll: Distributed Continuous Quality Assurance	claim
34	121	Problem Structure and Dependable Architecture	claim
35	121	4th International Workshop on Adoption-Centric Software Engineering	claim
36	120	A Tool for Writing and Debugging Algebraic Specifications	claim
37	120	Managing Commitments and Risks: Challenges in Distributed Agile Development	claim
38	119	MSR 2004: International Workshop on Mining Software Repositories	claim
39	118	An Empirical Comparison of Dynamic Impact Analysis Algorithms	claim
40	117	Using Web Service Technologies to Create an Information Broker: An Experience Report	claim
41	117	Using Compressed Bytecode Traces for Slicing Java Programs	claim
42	115	Generating Tests from Counterexamples	claim
43	115	Testing Object Oriented Software	claim
44	113	Elaborating Security Requirements by Construction of Intentional Anti-Models	claim
45	112	Software Variability Management	claim
46	112	Making Resource Decisions for Software Projects	claim
47	112	Evidence-Based Software Engineering	claim
48	112	Behavior Capture and Test for Verifying Evolving Component-Based Systems	claim
49	111	Verifying DAML+OIL and Beyond in Z/EVES	claim
50	110	Calculating Architectural Reliability via Modeling and Analysis	claim
51	109	Visual Timed Event Scenarios	claim
52	109	An Empirical Study of Software Reuse vs. Defect-Density and Stability	claim
53	109	Heuristic-Based Model Refinement for FLAVERS	claim
54	107	Feature-Oriented Programming and the AHEAD Tool Suite	claim
55	106	Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams	claim
56	105	Architecting in the Face of Uncertainty: An Experience Report	claim
57	105	Static Checking of Dynamically Generated Queries in Database Applications	claim
58	105	One More Step in the Direction of Modularized Integration Concerns	claim
59	104	Oil and Water? High Performance Garbage Collection in Java with MMTk	claim
60	104	Supporting Reflective Practitioners	claim
61	103	Towards Safe Distributed Application Development	claim
62	103	Revisiting Statechart Synthesis with an Algebraic Approach	claim
63	101	An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition	claim
64	98	Dynamic Configuration of Resource-Aware Services	claim
65	98	Toward Undoing in Composite Web Services	claim
66	97	Using Event-Based Translation to Support Dynamic Protocol Evolution	claim
67	95	Efficient Decentralized Monitoring of Safety in Distributed Systems	claim
68	95	Usability-Supporting Architectural Patterns	claim
69	94	Traits: Tools and Methodology	claim
70	93	Runtime Verification of Statechart Implementations	claim
71	93	A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers	claim
72	91	SNIAFL: Towards a Static Non-Interactive Approach to Feature Location	claim
73	90	Polyphony in Architecture	claim
74	88	Semantics-Aware Services for the Mobile Computing Environment	claim
75	87	Mining Version Histories to Guide Software Changes	claim
76	81	Precise Service Level Agreements	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers