Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
975
Recover from program crashes
"... 32-bit counter + 32-bit prescaler 4 capture channels 4 match registers ..."
DART: Directed automated random testing
- In Programming Language Design and Implementation (PLDI
, 2005
"... We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static source-code parsing; (2) automatic generation of a test driver for this interface that performs ..."
Abstract
-
Cited by 843 (42 self)
- Add to MetaCart
such as program crashes, assertion violations, and non-termination. Preliminary experiments to unit test several examples of C programs are very encouraging.
The design of Postgres
- In Proceedings of the SIGMOD Conference
, 1986
"... This paper presents the preliminary design of a new database management system, called POSTGRES, that is the successor to the INGRES relational database system. The main design goals of the new system are to: 1) provide better support for complex objects, 2) provide user extendibility for data types ..."
Abstract
-
Cited by 431 (23 self)
- Add to MetaCart
types, operators and access methods, 3) provide facilities for active databases (i.e., alerters and triggers) and inferencing including forward- and backward-chaining, 4) simplify the DBMS code for crash recovery, 5) produce a design that can take advantage of optical disks, workstations composed
Good-Bye Financial Repression, Hello Financial Crash”,
- Journal of Development Economics,
, 1985
"... Some unintended consequences of financial liberalization in Latin America are analyzed in this paper. Intrinsic imperfectious in financial markets, and the policy dilemmas they pose, are reviewed first. The stylized facts of Southern Cone experiments in financial liberization are then presented. Al ..."
Abstract
-
Cited by 305 (0 self)
- Add to MetaCart
. Alternative ways of organlzing domestic capital markets under Latin American conditions are discussed, and an eclectic, reform mongering program is proposed.
Crash
"... worthiness design optimization using multipoint sequential linear programming ..."
Abstract
- Add to MetaCart
worthiness design optimization using multipoint sequential linear programming
EXE: Automatically generating inputs of death
- In Proceedings of the 13th ACM Conference on Computer and Communications Security (CCS
, 2006
"... This article presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbolic input initially allowed to be anything. As checked code runs, EXE tracks the constraints on ea ..."
Abstract
-
Cited by 349 (21 self)
- Add to MetaCart
This article presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbolic input initially allowed to be anything. As checked code runs, EXE tracks the constraints
An Empirical Study of the Reliability of UNIX Utilities
- In Proceedings of the Workshop of Parallel and Distributed Debugging
, 1990
"... This report describes these tests and an analysis of the program bugs that caused the crashes. Content Indicators D.2.5 (Testing and Debugging), D.4.9 (Programs and Utilities), General term: reliability, UNIX. #################################### ..."
Abstract
-
Cited by 292 (5 self)
- Add to MetaCart
This report describes these tests and an analysis of the program bugs that caused the crashes. Content Indicators D.2.5 (Testing and Debugging), D.4.9 (Programs and Utilities), General term: reliability, UNIX. ####################################
Scalable statistical bug isolation
- In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation
, 2005
"... We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying predictors that correlate with program failure perform poorly when there are multiple bugs. Our new technique separates th ..."
Abstract
-
Cited by 304 (14 self)
- Add to MetaCart
studies, including examples in which the algorithm identified previously unknown, significant crashing bugs in widely used systems. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification—statistical methods; D.2.5
Crash-Only Software
, 2003
"... Crash-only programs crash safely and recover quickly. There is only one way to stop such software---by crashing it---and only one way to bring it up---by initiating recovery. Crash-only systems are built from crash-only components, and the use of transparent component-level retries hides intra-syste ..."
Abstract
-
Cited by 77 (10 self)
- Add to MetaCart
Crash-only programs crash safely and recover quickly. There is only one way to stop such software---by crashing it---and only one way to bring it up---by initiating recovery. Crash-only systems are built from crash-only components, and the use of transparent component-level retries hides intra
Simplifying and isolating failure-inducing input
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 2002
"... Given some test case, a program fails. Which circumstances of the test case are responsible for the particular failure? The Delta Debugging algorithm generalizes and simplifies the failing test case to a minimal test case that still produces the failure. It also isolates the difference between a pas ..."
Abstract
-
Cited by 294 (11 self)
- Add to MetaCart
Given some test case, a program fails. Which circumstances of the test case are responsible for the particular failure? The Delta Debugging algorithm generalizes and simplifies the failing test case to a minimal test case that still produces the failure. It also isolates the difference between a
Results 1 - 10
of
975
