Výsledky vyhľadávania - Testing AND Debugging—Testing tools General Terms Algorithms~

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

Autori: Marat Boshernitsan Roongko Doong Alberto Savoia a ďalší

Prispievatelia: Marat Boshernitsan Roongko Doong Alberto Savoia a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Tsung-hsiang Chang Mit Csail Tom Yeh a ďalší

Prispievatelia: Tsung-hsiang Chang Mit Csail Tom Yeh a ďalší

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

Predmety: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Huayang Guo Ming Wu Lidong Zhou a ďalší

Prispievatelia: Huayang Guo Ming Wu Lidong Zhou a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

Autori: Basin, David Foster, Nate McMillan, Kenneth L. a ďalší

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

Predmety: FORMAL methods (Computer science), COMPUTER network protocols, INTERNET protocols, TECHNICAL specifications

Korporácia: IEEE Standards Board, INTERNET Engineering Task Force (Organization)

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

Autori: Chirila, Ciprian-Bogdan Gradinaru, Lucia Crisan, Luminita

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

Predmety: HIV, MACHINE learning, NATURAL products, BIOAVAILABILITY, PHARMACOKINETICS, ANTIVIRAL agents, RANDOM forest algorithms

Software Fault Localization Based on SALSA Algorithm.

Autori: Fan, Xin Shen, Zuxiong Fu, Zhenlei a ďalší

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

Predmety: SOFTWARE localization, COMPUTER software development, RANDOM walks, ALGORITHMS, PROBLEM solving, DEBUGGING

Black-Box Bug Amplification for Multithreaded Software.

Autori: Weiss, Yeshayahu Amram, Gal Elyasaf, Achiya a ďalší

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

Predmety: 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.

Autori: 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.

Autori: Oztemel, Muhammed Esad Soysal, Ömer Muhammet

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

Predmety: AUTOENCODERS, BIOMETRIC identification, FEATURE extraction, CLASSIFICATION algorithms, MACHINE learning, ELECTROENCEPHALOGRAPHY

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

Autori: Elekes, Márton Molnár, Vince Micskei, Zoltán

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

Predmety: SEMANTICS, CONFORMANCE testing, GENERAL semantics, DESIGN techniques

Quantum Software Engineering: Roadmap and Challenges Ahead.

Autori: Murillo, Juan Manuel Garcia-Alonso, Jose Moguel, Enrique a ďalší

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

Predmety: QUANTUM computing, RESEARCH personnel, METHODS engineering, COMPUTER software

Mutation-driven generation of unit tests and oracles

Autori: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

Autori: Gaitantzi, Alkmini Kazanidis, Ioannis

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

Predmety: 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

Autori: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Xintao Wu Yongge Wang Yuliang Zheng a ďalší

Prispievatelia: Xintao Wu Yongge Wang Yuliang Zheng a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Vu Le Mehrdad Afshari Zhendong Su a ďalší

Prispievatelia: Vu Le Mehrdad Afshari Zhendong Su a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Arvind Arasu Raghav Kaushik Jian Li a ďalší

Prispievatelia: Arvind Arasu Raghav Kaushik Jian Li a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer a ďalší

Prispievatelia: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer a ďalší

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

Predmety: 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 súboru: 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

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