Výsledky vyhledávání - "Testing and Debugging—error handling and recovery"

Error propagation analysis for file systems

Autoři: Cindy Rubio-gonzález Haryadi S. Gunawi Ben Liblit a další

Přispěvatelé: Cindy Rubio-gonzález Haryadi S. Gunawi Ben Liblit a další

Zdroj: http://www.cs.wisc.edu/%7Eliblit/pldi-2009-a/pldi-2009-a.pdf.

Témata: validation, D.2.5 [Software Engineering, Testing and Debugging— error handling and recovery, D.4.3 [Operating Systems, File Systems Management General Terms Algorithms, Languages, Reliability, Verification Keywords static program analysis, interprocedural dataflow analysis, weighted pushdown systems, copy constant propagation, binary decision

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.201

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.201
http://www.cs.wisc.edu/%7Eliblit/pldi-2009-a/pldi-2009-a.pdf

A framework for command processing in Java/Swing programs based on the MVC pattern

Autoři: Andreas Naderlinger Josef Templ The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andreas Naderlinger Josef Templ The Pennsylvania State University CiteSeerX Archives

Zdroj: http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf.

Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Patterns. D.2.5 [Software Engineering, Testing and debugging – Error handling and recovery. D.2.13 [Software Engineering, Reusable Software – Reusable libraries. General Terms Design, Reliability, Languages. Keywords Framework, MVC, Command, Pattern, Exception, Undo, Redo, Java, Swing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.628.1343; http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.628.1343
http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf

Discovering faults in idiom-based exception handling

Autoři: Magiel Bruntink The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Magiel Bruntink The Pennsylvania State University CiteSeerX Archives

Zdroj: http://homepages.cwi.nl/~arie/papers/exceptions/icse2006.pdf.

Témata: Reliability, D.2.5 [Software Engineering, Testing and Debugging—Error handling and recovery General Terms Design, Verification Keywords Exception handling, fault model, program analysis

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.7709; http://homepages.cwi.nl/~arie/papers/exceptions/icse2006.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.7709
http://homepages.cwi.nl/~arie/papers/exceptions/icse2006.pdf

Extending ACID Semantics to the File System

Autoři: Charles P. Wright Richard Spillane Gopalan Sivathanu a další

Přispěvatelé: Charles P. Wright Richard Spillane Gopalan Sivathanu a další

Zdroj: http://www.fsl.cs.sunysb.edu/docs/amino-tos06/amino.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery, Testing and Debugging—Tracing, D.4.3 [Operating Systems, File Systems Management—Access methods, Directory structures, File organization, D.4.5 [Operating Systems, Reliability—Fault-tolerance, H.2 [Database management, Database Applications General Terms, Design, Experimentation, Performance, Reliability Additional Key Words and Phrases, File system transactions, Recoverable memory, Databases, File systems, ptrace monitors

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.685

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.685
http://www.fsl.cs.sunysb.edu/docs/amino-tos06/amino.pdf

Optimizing Array Bound Checks Using Flow Analysis

Autoři: Rajiv Gupta The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Rajiv Gupta The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.arizona.edu/people/gupta/research/Publications/Comp/loplas.ps.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging-error handling and recovery, D.3.4 [Programming Languages, Processors-optimization, compilers. General Terms, Languages, Reliability Additional Key Words and Phrases, Data flow analysis, available checks, very busy checks, check hoisting

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.7608; http://www.cs.arizona.edu/people/gupta/research/Publications/Comp/loplas.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.7608
http://www.cs.arizona.edu/people/gupta/research/Publications/Comp/loplas.ps

Managing Inconsistent Specifications: Reasoning, Analysis, and Action

Autoři: Anthony Hunter Bashar Nuseibeh The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Anthony Hunter Bashar Nuseibeh The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-dse.doc.ic.ac.uk/%7Eban/pubs/tosem98.pdf.

Témata: Program Verification—validation, D.2.5 [Software Engineering, Testing and Debugging—error handling and recovery, D.2.7 [Software Engineering, Distribution and Maintenance—restructuring, D.2.10 [Software Engineering, Design—representation, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—proof theory General Terms, Design, Theory, Languages, Verification Additional Key Words and Phrases, Managing inconsistency, paraconsistent logics, requirements specification, viewpoints

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.8130

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.8130
http://www-dse.doc.ic.ac.uk/%7Eban/pubs/tosem98.pdf

Assertion-based Repair of Complex Data Structures

Autoři: Bassem Elkarablieh Ivan Garcia Yuk Lai a další

Přispěvatelé: Bassem Elkarablieh Ivan Garcia Yuk Lai a další

Zdroj: http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability, Verification Keywords Data structure repair, Assertion-driven development, Symbolic execution, Systematic search, Error recovery

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800
http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf

Finding Error-Handling Bugs in Systems Code Using Static Analysis ∗

Autoři: Cindy Rubio-gonzález Ben Liblit The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cindy Rubio-gonzález Ben Liblit The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.wisc.edu/%7Ecrubio/includes/ghc11.pdf.

Témata: methods, reliability, validation, D.2.5 [Software Engineering, Testing and Debugging—error handling and recovery, D.4.3 [Operating Systems, File Systems Management Keywords Static program analysis, weighted pushdown systems, interprocedural dataflow

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.1345; http://www.cs.wisc.edu/%7Ecrubio/includes/ghc11.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.1345
http://www.cs.wisc.edu/%7Ecrubio/includes/ghc11.pdf

Most Linux run-time errors are.

Autoři: Ben Liblit The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ben Liblit The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.wisc.edu/%7Ecrubio/includes/issta11.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— formal methods, reliability, validation, D.2.5 [Software Engineering, Testing and Debugging—error handling and recovery, D.4.3 [Operating Systems, File Systems Management General Terms Algorithms, Languages, Verification Keywords Static program analysis, interprocedural dataflow analysis, weighted pushdown systems, systems programming, pointers

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.6908; http://www.cs.wisc.edu/%7Ecrubio/includes/issta11.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.6908
http://www.cs.wisc.edu/%7Ecrubio/includes/issta11.pdf

Juzi: A Tool for Repairing Complex Data Structures

Autoři: Bassem Elkarablieh Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Bassem Elkarablieh Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ece.utexas.edu/~khurshid/papers/2008/08icse-juzi.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability Keywords Data structure, Assertions, Systematic search, Symbolic execution, Error recovery

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2390

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2390
http://www.ece.utexas.edu/~khurshid/papers/2008/08icse-juzi.pdf

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Integrating Automatic Backward Error Recovery in Asynchronous Rich Clients.

Autoři: Quintela-Pumares, Manuel Cabral, Bruno Fernandez-Lanvin, Daniel a další

Zdroj: Proceedings of the 38th International Conference on Software Engineering Companion; 2016, p192-201, 10p

Interactive and automated debugging for big data analytics.

Autoři: Gulzar, Muhammad Ali

Zdroj: ICSE: International Conference on Software Engineering; 5/27/2018, p509-511, 3p

Témata: CLOUD computing, COMPUTER software development, COMPUTER software developers, DEBUGGING, BIG data, DATA analytics

Assessing Dependability with Software Fault Injection: A Survey.

Autoři: NATELLA, ROBERTO COTRONEO, DOMENICO MADEIRA, HENRIQUE S.

Zdroj: ACM Computing Surveys; Feb2016, Vol. 48 Issue 3, p44:1-44:55, 55p, 10 Diagrams, 14 Charts, 1 Graph

Témata: COMPUTER system failures, FAULT-tolerant computing, SOFTWARE verification, COMPUTER software costs, SURVEYS, ERROR, MARKOV processes, BENCHMARKING (Management)

Obtaining and Reasoning About Good Enough Software.

Autoři: Rinard, Martin

Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p930-935, 6p

Témata: COMPUTER software, ENERGY consumption, ROBUST control, EMPIRICAL research, ELECTRONIC systems, ELECTRONIC equipment

Juzi: A Tool for Repairing Complex Data Structures.

Autoři: Elkarablieh, Bassem Khurshid, Sarfraz

Zdroj: ICSE: International Conference on Software Engineering; 2008, p855-858, 4p, 3 Diagrams, 1 Graph

Témata: JAVA programming language, ELECTRONIC file management, PROGRAMMING languages, COMPUTER systems, COMPUTER software

Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications.

Autoři: CARZANIGA, ANTONIO GORLA, ALESSANDRA PERINO, NICOLÒ a další

Zdroj: ACM Transactions on Software Engineering & Methodology; May2015, Vol. 24 Issue 3, p1-42, 42p

Témata: WEB-based user interfaces, USER interfaces, EMPLOYEE self-service systems, DEVELOPMENT of application software, COMPUTER software management

The Complexity of Adding Multitolerance.

Autoři: CHEN, JINGSHU EBNENASIR, ALI KULKARNI, SANDEEP

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; Oct2014, Vol. 9 Issue 3, p15-15:33, 33p

Témata: COMPUTATIONAL complexity, FAULT-tolerant computing, COMPUTER programming, POLYNOMIAL time algorithms, PROBLEM solving

Do We Need to Handle Every Temporal Violation in Scientific Workflow Systems?

Autoři: XIAO LIU YUN YANG DONG YUAN a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Feb2014, Vol. 23 Issue 1, p1-34, 34p

Témata: QUALITY of service, WORKFLOW management systems, CONFORMANCE testing, COST effectiveness, RADIO telescopes, PARKES process

Exception Handlers for Healing Component-Based Systems.

Autoři: CHANG, HERVÉ MARIANI, LEONARDO PEZZÈ, MAURO

Zdroj: ACM Transactions on Software Engineering & Methodology; Oct2013, Vol. 22 Issue 4, p30:1-30:40, 40p

Témata: COMPUTER software development, COMPUTER software developers, SOFTWARE engineering, FAULT-tolerant computing, COMPUTER programming