KBSE 2003 - PDF Preprint Papers

KBSE 2003 Knowledge-Based Software Engineering Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KBSE-2003 Paper

click to vote

KBSE
2003
IEEE

166views Software Engineering» more KBSE 2003»

Testing Database Transaction Concurrency

13 years 9 months ago

Download cis.poly.edu

Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...

Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen

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	166	Testing Database Transaction Concurrency	claim
2	166	Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search	claim
3	165	Specification and Synthesis of Hybrid Automata for Physics-Based Animation	claim
4	158	A Model-Driven Approach to Non-Functional Analysis of Software Architectures	claim
5	143	Model-based Verification of Web Service Compositions	claim
6	131	Fault Localization With Nearest Neighbor Queries	claim
7	130	SPQR: Flexible Automated Design Pattern Extraction From Source Code	claim
8	128	Automated Environment Generation for Software Model Checking	claim
9	126	Tool-Assisted Unit Test Selection Based on Operational Violations	claim
10	118	On the automatic evolution of an OS kernel using temporal logic and AOP	claim
11	118	What Test Oracle Should I Use for Effective GUI Testing?	claim
12	116	Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models	claim
13	114	An Approach for Tracing and Understanding Asynchronous Architectures	claim
14	114	Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach	claim
15	111	Refactoring C with Conditional Compilation	claim
16	108	Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications	claim
17	105	Parallel Breadth-First Search LTL Model-Checking	claim
18	104	Unspeculation	claim
19	101	A Programmable Client-Server Model: Robust Extensibility via DSLs	claim
20	99	Automation for Exception Freedom Proofs	claim
21	99	Automated Requirements-based Generation of Test Cases for Product Families	claim
22	98	Aspectizing Server-Side Distribution	claim
23	94	Communicating Requirements Using End-User GUI Constructions with Argumentation	claim
24	93	Automatically Inferring Concern Code from Program Investigation Activities	claim
25	92	An Empirical Study on Groupware Support for Software Inspection Meetings	claim
26	89	An Infrastructure to Support Meta-Differencing and Refactoring of Source Code	claim
27	84	Debugging Overconstrained Declarative Models Using Unsatisfiable Cores	claim
28	78	The Feature Signatures of Evolving Programs	claim
29	77	DeCo: A Declarative Coordination Framework for Scientific Model Federations	claim
30	76	A Pragmatic Study of Binary Class Relationships	claim
31	72	Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks	claim
32	57	XRay Views: Understanding the Internals of Classes	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers