Výsledky vyhledávání - Testing and Debugging—Testing tools General Terms Algorithms*

From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing

Autoři: Marat Boshernitsan Roongko Doong Alberto Savoia a další

Přispěvatelé: Marat Boshernitsan Roongko Doong Alberto Savoia a další

Zdroj: http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- testing tools. General Terms Algorithms, Performance, Reliability. Keywords Developer testing, unit testing, automated testing tools, software agitation

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8472
http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf

GUI Testing Using Computer Vision

Autoři: Tsung-hsiang Chang Mit Csail Tom Yeh a další

Přispěvatelé: Tsung-hsiang Chang Mit Csail Tom Yeh a další

Zdroj: http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf.

Témata: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504
http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf

Guided test generation for database applications via synthesized database interactions

Autoři: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Design, Algorithms, Performance Additional Key Words and Phrases, Automatic test generation, dynamic symbolic execution, synthesized database interactions, database application testing ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52; http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52
http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf

HAMPI: A Solver for String Constraints

Autoři: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer a další

Přispěvatelé: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer a další

Zdroj: http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf.

Témata: Software/Program Verification—Formal Methods, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Verification, Algorithms, Reliability Keywords, string constraints, regular languages, context-free languages

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.4853; http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.4853
http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf

ThreadSanitizer - Data race detection in practice

Autoři: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

Zdroj: http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging — Testing tools. General Terms Algorithms, Testing, Reliability. Keywords Concurrency Bugs, Dynamic Data Race Detection, Valgrind

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.5946
http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf

Practical software model checking via dynamic interface reduction

Autoři: Huayang Guo Ming Wu Lidong Zhou a další

Přispěvatelé: Huayang Guo Ming Wu Lidong Zhou a další

Zdroj: http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5065
http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf

Test Input Generation for Red-Black Trees using Abstraction

Autoři: Willem Visser Corina S. Păsăreanu Radek Pelanek a další

Přispěvatelé: Willem Visser Corina S. Păsăreanu Radek Pelanek a další

Zdroj: http://ase.arc.nasa.gov/people/visser/ASE05.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Algorithms, Verification Keywords, Testing Object-oriented Programs, Model Checking, Coverage, Red-Black Trees

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.3757; http://ase.arc.nasa.gov/people/visser/ASE05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.3757
http://ase.arc.nasa.gov/people/visser/ASE05.pdf

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.

Autoři: Basin, David Foster, Nate McMillan, Kenneth L. a další

Zdroj: Communications of the ACM; Aug2025, Vol. 68 Issue 8, p50-61, 12p

Témata: FORMAL methods (Computer science), COMPUTER network protocols, INTERNET protocols, TECHNICAL specifications

Korporace: IEEE Standards Board, INTERNET Engineering Task Force (Organization)

Towards Incremental Component Compatibility Testing

Autoři: Ilchul Yoon Alan Sussman Atif Memon a další

Přispěvatelé: Ilchul Yoon Alan Sussman Atif Memon a další

Zdroj: http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Design, Experimentation Keywords incremental testing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.2015; http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.2015
http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf

A Hybrid Machine Learning Pipeline for Reliable Prediction of Potential HIV-1 Inhibitors.

Autoři: Chirila, Ciprian-Bogdan Gradinaru, Lucia Crisan, Luminita

Zdroj: Processes; Oct2025, Vol. 13 Issue 10, p3327, 27p

Témata: HIV, MACHINE learning, NATURAL products, BIOAVAILABILITY, PHARMACOKINETICS, ANTIVIRAL agents, RANDOM forest algorithms

Automated replay and failure detection for web applications

Autoři: Sara Sprenkle Emily Gibson Sreedevi Sampath a další

Přispěvatelé: Sara Sprenkle Emily Gibson Sreedevi Sampath a další

Témata: Categories and Subject Descriptors, D.2.5, Software Engineering, Testing and Debugging–testing tools General Terms, Reliability, Experimentation Keywords, software testing, replay, test oracles, web applications

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.215.1471

EEG-Based Personal Identification by Special Design Domain-Adaptive Autoencoder.

Autoři: Oztemel, Muhammed Esad Soysal, Ömer Muhammet

Zdroj: Sensors (14248220); Oct2025, Vol. 25 Issue 20, p6457, 21p

Témata: AUTOENCODERS, BIOMETRIC identification, FEATURE extraction, CLASSIFICATION algorithms, MACHINE learning, ELECTROENCEPHALOGRAPHY

Software Fault Localization Based on SALSA Algorithm.

Autoři: Fan, Xin Shen, Zuxiong Fu, Zhenlei a další

Zdroj: Applied Sciences (2076-3417); Feb2025, Vol. 15 Issue 4, p2079, 18p

Témata: SOFTWARE localization, COMPUTER software development, RANDOM walks, ALGORITHMS, PROBLEM solving, DEBUGGING

HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars

Autoři: Adam Kiezun Harvard Medical School Philip J. Guo a další

Přispěvatelé: Adam Kiezun Harvard Medical School Philip J. Guo a další

Zdroj: http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software Program Verification—For- mal methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, String constraints, word equations, regular languages, context-free languages, concolic testing, program analysis ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.8088
http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf

Black-Box Bug Amplification for Multithreaded Software.

Autoři: Weiss, Yeshayahu Amram, Gal Elyasaf, Achiya a další

Zdroj: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p

Témata: COMPUTER software testing, SOFTWARE failures, HEURISTIC, PREDICTION models, PARALLEL programs (Computer programs)

Hampi: A solver for word equations over strings, regular expressions and context-free grammar

Autoři: Adam Kiezun Shay Artzi Philip J. Guo a další

Přispěvatelé: Adam Kiezun Shay Artzi Philip J. Guo a další

Zdroj: http://people.csail.mit.edu/vganesh/Publications_files/vg2011-HAMPI-TOSEM-Journal.pdf.

Témata: Categories and Subject Descriptors, D.2.7 [Software Engineering, Software Verification—Formal Methods, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, string constraints, word equations, regular languages, contextfree languages, concolic testing, program analysis † These authors contributed equally to this work

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.6849
http://people.csail.mit.edu/vganesh/Publications_files/vg2011-HAMPI-TOSEM-Journal.pdf

Quantum Software Engineering: Roadmap and Challenges Ahead.

Autoři: Murillo, Juan Manuel Garcia-Alonso, Jose Moguel, Enrique a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-48, 48p

Témata: QUANTUM computing, RESEARCH personnel, METHODS engineering, COMPUTER software

Vejovis: Suggesting Fixes for JavaScript Faults

Autoři: Frolin S. Ocariza Jr. Karthik Pattabiraman Ali Mesbah a další

Přispěvatelé: Frolin S. Ocariza Jr. Karthik Pattabiraman Ali Mesbah a další

Zdroj: http://salt.ece.ubc.ca/publications/docs/vejovis-icse14.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – Testing Tools General Terms Design, Algorithms, Experimentation Keywords JavaScript, fault repair, Document Object Model (DOM

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.676.3069
http://salt.ece.ubc.ca/publications/docs/vejovis-icse14.pdf

ABSTRACT Test Input Generation for Red-Black Trees using Abstraction

Autoři: Willem Visser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Willem Visser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ase.arc.nasa.gov/publications/pdf/1087.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Algorithms, Verification Keywords, Testing Object Oriented Programs, Model Checking, Abstraction, Coverage, Red-Black Trees

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.5024; http://ase.arc.nasa.gov/publications/pdf/1087.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.5024
http://ase.arc.nasa.gov/publications/pdf/1087.pdf

The Role of Artificial Intelligence in Computer Science Education: A Systematic Review with a Focus on Database Instruction.

Autoři: Gaitantzi, Alkmini Kazanidis, Ioannis

Zdroj: Applied Sciences (2076-3417); Apr2025, Vol. 15 Issue 7, p3960, 34p

Témata: GENERATIVE artificial intelligence, ARTIFICIAL intelligence, COMPUTER science education, CODE generators, TEACHING methods, INTELLIGENT tutoring systems