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

CIPHER: Cybersecurity Intelligent Penetration-Testing Helper for Ethical Researcher.

Autoři: Pratama, Derry Suryanto, Naufal Adiputra, Andro Aprila a další

Zdroj: Sensors (14248220); Nov2024, Vol. 24 Issue 21, p6878, 37p

Témata: LANGUAGE models, DYNAMIC testing, COMPUTER hacking, COMPUTER software development, RESEARCH personnel

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

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Assessing the testing skills transfer of model-based testing on testing skill acquisition.

Autoři: Cammaerts, Felix Snoeck, Monique

Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p953-971, 19p

Témata: SOFTWARE development tools, COMPUTER software quality control, SYSTEMS software, COMPUTER software, ENGINEERING, SOFTWARE verification, COMPUTER software testing

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

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

Fairness in machine learning: definition, testing, debugging, and application.

Autoři: Gao, Xuanqi Shen, Chao Jiang, Weipeng a další

Zdroj: SCIENCE CHINA Information Sciences; Sep2024, Vol. 67 Issue 9, p1-21, 21p

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

The Level of Programming Among Pupils at Primary School in the Context of Motivation and Professional Focus.

Autoři: Moc, Pavel Honzíková, Jarmila Tomášková, Tetjana

Zdroj: Education Sciences; Sep2025, Vol. 15 Issue 9, p1111, 14p

Témata: MOTIVATION (Psychology), COMPUTER programming, SECONDARY schools, ALGORITHMS, VOCATIONAL guidance, EDUCATION software, ACADEMIC achievement, TECHNICAL education

DinoDroid: Testing Android Apps Using Deep Q-Networks.

Autoři: Zhao, Yu Harrison, Brent Yu, Tingting

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2024, Vol. 33 Issue 5, p1-24, 24p

Témata: ARTIFICIAL neural networks, MOBILE apps

Modeling energy partition patterns of growing pigs fed diets with different net energy levels based on machine learning.

Autoři: Yang, Yuansen Hu, Qile Wang, Li a další

Zdroj: Journal of Animal Science. 2024, Vol. 102, p1-13. 13p.

Témata: Standard deviations, Artificial neural networks, Random forest algorithms, Machine learning, Prediction models

JavaScript SBST Heuristics to Enable Effective Fuzzing of NodeJS Web APIs.

Autoři: MAN ZHANG BELHADI, ASMA ARCURI, ANDREA

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2023, Vol. 32 Issue 6, p1-29, 29p

Témata: JAVASCRIPT programming language, COMPUTER software testing, PROGRAMMING languages, HEURISTIC, TEST systems

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

circGPAcorr: an integrative tool for functional annotation of circular RNAs using expression data.

Autoři: Ryšavý, Petr Anuarbekov, Alikhan Dostálová Merkerová, Michaela a další

Zdroj: BioData Mining; 8/1/2025, Vol. 18 Issue 1, p1-32, 32p

Témata: CIRCULAR RNA, MYELODYSPLASTIC syndromes, MICRORNA, TRANSCRIPTOMES, MESSENGER RNA, GENE ontology, SEQUENCE analysis

Enhancing GUI Exploration Coverage of Android Apps with Deep Link-Integrated Monkey.

Autoři: Hu, Han Wang, Han Dong, Ruiqi a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2024, Vol. 33 Issue 6, p1-31, 31p

Témata: MONKEYS, MOBILE apps

Seed Selection for Testing Deep Neural Networks.

Autoři: Zhi, Yuhan Xie, Xiaofei Shen, Chao a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-33, 33p

Témata: ARTIFICIAL neural networks, SELECTION (Plant breeding), DEEP learning