Search Results - "Testing and Debugging-error handling and recovery"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
2
Authors:
Contributors:
Source: http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf.
Subject Terms: 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
File Description: 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
-
3
Authors:
Contributors:
Subject Terms: Reliability, D.2.5 [Software Engineering, Testing and Debugging—Error handling and recovery General Terms Design, Verification Keywords Exception handling, fault model, program analysis
File Description: 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
-
4
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
6
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
7
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
8
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
9
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
10
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Nájsť tento článok vo Web of Science