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

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

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)

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

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

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)

Testing coverage based NHPP software reliability growth modeling with testing effort and change-point.

Autoři: Aggarwal, Anu Kumar, Sudeep Gupta, Ritu

Zdroj: International Journal of Systems Assurance Engineering & Management; Nov2024, Vol. 15 Issue 11, p5157-5166, 10p

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

Assessing the specification of modelling language semantics: a study on UML PSSM.

Autoři: Elekes, Márton Molnár, Vince Micskei, Zoltán

Zdroj: Software Quality Journal; Jun2023, Vol. 31 Issue 2, p575-617, 43p

Témata: SEMANTICS, CONFORMANCE testing, GENERAL semantics, DESIGN techniques

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

Mutation-driven generation of unit tests and oracles

Autoři: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Zdroj: https://www.st.cs.uni-saarland.de/publications/files/fraser-issta-2010.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Algorithms, Experimentation Keywords Mutation analysis, test case generation, unit testing, test oracles

Popis souboru: application/pdf

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

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

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

Towards Effective Adaptive Random Testing for Higher-Dimensional Input Domains

Autoři: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p1955.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, G.3[Probability and Statistics, Reliability and life testing General Terms Algorithms, Reliability, Verification Keywords Adaptive Random Testing, Random Testing, Test case selection

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6740; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p1955.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6740
http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p1955.pdf

Privacy preserving database application testing

Autoři: Xintao Wu Yongge Wang Yuliang Zheng a další

Přispěvatelé: Xintao Wu Yongge Wang Yuliang Zheng a další

Zdroj: http://coitweb.uncc.edu/~yonwang/papers/dbtest.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— testing tools, H.1.1 [Models and Principles, Systems and Information Theory—information theory, H.2.8 [Database Management, Database Applications—statistical databases General Terms Algorithms, performance, security, theory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.5023; http://coitweb.uncc.edu/~yonwang/papers/dbtest.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.5023
http://coitweb.uncc.edu/~yonwang/papers/dbtest.pdf

Compiler validation via equivalence modulo inputs

Autoři: Vu Le Mehrdad Afshari Zhendong Su a další

Přispěvatelé: Vu Le Mehrdad Afshari Zhendong Su a další

Zdroj: http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, H.3.4 [Programming Languages, Processors—compilers General Terms Algorithms, Languages, Reliability, Verification Keywords Compiler testing, miscompilation, equivalent program variants, automated

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361; http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361
http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf

Data generation using declarative constraints

Autoři: Arvind Arasu Raghav Kaushik Jian Li a další

Přispěvatelé: Arvind Arasu Raghav Kaushik Jian Li a další

Zdroj: http://www.cs.umd.edu/~lijian/paper/mod311arasu.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, H.2.4 [Database Management, Systems— Query processing General Terms Algorithms, Performance, Reliability, Experimentation Keywords Data Generation, Testing, Masking, Benchmarking, Constraints

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.7613; http://www.cs.umd.edu/~lijian/paper/mod311arasu.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.7613
http://www.cs.umd.edu/~lijian/paper/mod311arasu.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