• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 975
Next 10 →

Recover from program crashes

by General Purpose Timer/counters To
"... 32-bit counter + 32-bit prescaler 4 capture channels 4 match registers ..."
Abstract - Add to MetaCart
32-bit counter + 32-bit prescaler 4 capture channels 4 match registers

DART: Directed automated random testing

by Patrice Godefroid, Nils Klarlund, Koushik Sen - 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

by Michael Stonebraker, Lawrence A. Rowe - 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”,

by Carlos Diaz-Alejandro - 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

by L. F. P. E Tman, M. T. P. Van Slagmaat
"... 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

by Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler - 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

by Barton P. Miller, Lars Fredriksen, Bryan So - 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

by Ben Liblit, Alex Aiken, Mayur Naik, Alice X. Zheng - 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

by George Candea, Armando Fox , 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

by Andreas Zeller, Ralf Hildebrandt - 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
Next 10 →
Results 1 - 10 of 975
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University