An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
Abstract elided by the publisher.
2,847 papers · page 136 of 143
A Probabilistic Model for Software Projects
Abstract elided by the publisher.
Analyzing Exception Flow in Java Programs
Abstract elided by the publisher.
Data-Flow Analysis of Program Fragments
Abstract elided by the publisher.
Coping with Type Casts in C
Abstract elided by the publisher.
Specification-Based Prototyping for Embedded Systems
Abstract elided by the publisher.
Collaboration and Composition: Issues for a Second Generation Process Language
Abstract elided by the publisher.
Algebraic Software Architecture Reconfiguration
Abstract elided by the publisher.
Yesterday, My Program Worked. Today, It Does Not. Why?
Abstract elided by the publisher.
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards define rules of interaction and shared communication infrastructure that permit composition of systems out of independently-developed parts. A pr…
Model Checking of Hierarchical State Machines
Model checking is emerging as a practical tool for detecting logical errors in early stages of system design. We investigate the model checking of hierarchical (nested) systems, i.e. finite state machines whose states themselves can be other machines. This nesting ability is comm…
Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management
Current middleware solutions such as CORBA and Java's RMI emphasize compositional design by separating functional aspects of a system (e.g. objects) from the mechanisms used for interaction (e.g. remote procedure call through stubs and skeletons). While this is an effective solut…
Effective Whole-Program Analysis in the Presence of Pointers
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tools often require prohibitive time and space. Demand-driven techniques can be used to reduce these requi…
Event-Base Detection of Concurrency
Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency. While there are many techniques to specify intended concurrent behavior, there are few, if any, te…
Investigation Data Quality Problems in the PSP
The Personal Software Process (PSP) is used by software engineers to gather and analyze data about their work. Published studies typically use data collected using the PSP to draw quantitative conclusions about its impact upon programmer behavior and product quality. However, our…
Filter-Based Model Checking of Partial Systems
Recent years have seen dramatic growth in the application of model checking techniques to the validation and verification of correctness properties of hardware, and more recently software, systems. Most of this work has been aimed at reasoning about properties of complete systems…
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code
Security flaws are routinely discovered in commercial implementations of mobile code systems such as the Java Virtual Machine (JVM). Typical architectures for such systems exhibit complex interdependencies between the loader, the verifier, and the linker, making them difficult to…
Further Empirical Studies of Test Effectiveness
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data flow testing criterion. Each subject program was tested using a very large number of randomly genera…
Reasoning about Implicit Invocation
Implicit invocation [SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of specification and verification formalisms for such systems. Based on standard notions from process algebra and trace semantic…