Výsledky vyhledávání - Testing and Debugging— Error handling and recovery General Terms Reliability*

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

LLM Agents as Catalysts for Resilient DFT: An Orchestration-Based Framework Beyond Brittle Scripts.

Autoři: Li, Hailong Wang, Yun Liu, Jian a další

Zdroj: Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 21, p11390, 18p

Témata: VERY large scale circuit integration, LANGUAGE models, NATURAL language processing, SOFTWARE frameworks, AUTOMATION software, TEST methods, DYNAMIC testing

Leveraging Information Technology tools to create cost-effective alternatives: Using Google Sheets as a platform for competitive debate and public speaking tabulation.

Autoři: Osei-Wusu, Franco Asiedu, William Yeboah, Donald a další

Zdroj: PLoS ONE; 9/15/2025, Vol. 20 Issue 9, p1-20, 20p

Témata: SPREADSHEET software, INFORMATION technology, AUTOMATION software, DATA security, COST accounting, DIGITAL technology, SATISFACTION

Korporace: GOOGLE Inc.

Secure Development Methodology for Full Stack Web Applications: Proof of the Methodology Applied to Vue.js, Spring Boot and MySQL.

Autoři: Rodriguez, Kevin Santiago Rey Galindo, Julián David Avellaneda Juan, Josep Tárrega a další

Zdroj: Computers, Materials & Continua; 2025, Vol. 85 Issue 1, p1807-1858, 52p

Témata: COMPUTER software security, SECURITY systems, AGILE software development, DATABASES, COMPUTER software development

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

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

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

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

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

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

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

5Do We Need to Handle Every Temporal Violation in Scientific

Autoři: Workflow Systems The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Workflow Systems The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ict.swin.edu.au/personal/yyang/papers/ACM-ToSEM-ViolationHandling.pdf.

Témata: Categories and Subject Descriptors, D.2.4. [Software Engineering, Software/Program Verification, D.2.5.f [Testing and Debugging, Error Handling and Recovery General Terms, Algorithms, Performance, Reliability, Verification Additional Key Words and Phrases, Scientific workflows, temporal constraints, temporal verification, viola- tion handling point selection, quality of service ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.8989
http://www.ict.swin.edu.au/personal/yyang/papers/ACM-ToSEM-ViolationHandling.pdf

MetaBakery: a Singularity implementation of bioBakery tools as a skeleton application for efficient HPC deconvolution of microbiome metagenomic sequencing data to machine learning ready information.

Autoři: Murovec, Boštjan Deutsch, Leon Osredkar, Damjan a další

Zdroj: Frontiers in Microbiology; 2024, p01-11, 11p

Témata: BIG data, GUT microbiota, MICROBIOTA, MACHINE learning, COMPUTER workstation clusters

ATHLETE-FOCUSED STUDENT PHYSIQUE TEST AND EVALUATION SYSTEM UTILIZING BODY TEST BIG DATA: ENHANCING PERFORMANCE AND HEALTH MONITORING.

Autoři: Danna Gao Yin Zhang Guixiang Wei

Zdroj: International Journal of Medicine & Science of Physical Activity & Sport / Revista Internacional de Medicina y Ciencias de la Actividad Física y del Deporte; Aug2024, Vol. 24 Issue 97, p492-511, 20p

Témata: PHYSICAL fitness testing, BIG data, ATHLETES' health

Deepfake Media Forensics: Status and Future Challenges.

Autoři: Amerini, Irene Barni, Mauro Battiato, Sebastiano a další

Zdroj: Journal of Imaging; Mar2025, Vol. 11 Issue 3, p73, 42p

Responsible Artificial Intelligence for Mental Health Disorders: Current Applications and Future Challenges.

Autoři: El-Sappagh, Shaker Nazih, Waleed Alharbi, Meshal a další

Zdroj: Journal of Disability Research; Jan2025, Vol. 4 Issue 1, p1-29, 29p

A survey on person and vehicle re‐identification.

Autoři: Wang, Zhaofa Wang, Liyang Shi, Zhiping a další

Zdroj: IET Computer Vision (Wiley-Blackwell); Dec2024, Vol. 18 Issue 8, p1235-1268, 34p

Témata: COMPUTER vision, IMAGE registration, VIDEO surveillance, CRIMINAL investigation, IMAGE retrieval, DEEP learning

Improving the Fault Resilience of an H.264 Decoder using Static Analysis Methods.

Autoři: SCHMOLL, FLORIAN HEINIG, ANDREAS MARWEDEL, PETER a další

Zdroj: ACM Transactions on Embedded Computing Systems; Nov2013, Vol. 13 Issue Supp 1, p1-27, 27p

Témata: DECODERS (Electronics), STATICS, DEBUGGING, FAULT tolerance (Engineering), EMBEDDED computer systems, SEMICONDUCTORS, ELECTRIC potential

A Study on the Maximum Scour Depth of River-Crossing Tunnels.

Autoři: Yang, Meiqing Feng, Luojie Xu, Feng a další

Zdroj: Water (20734441); Aug2024, Vol. 16 Issue 15, p2097, 20p

Témata: FROUDE number, FLOOD control, WATER depth, BEDROCK, TWO-dimensional models

An open-source platform for sub-g, sub-μA data loggers.

Autoři: Brown, Geoffrey M. Chen, Jiawei Fudickar, Adam a další

Zdroj: Animal Biotelemetry; 5/3/2023, Vol. 11 Issue 1, p1-18, 18p

Témata: DATA loggers, ATMOSPHERIC pressure, CLIENT/SERVER computing equipment, ANIMAL behavior, ENVIRONMENTALISM, TAGS (Metadata)