Search Results - Testing and Debugging— Testing tools General Terms Algorithms*

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

Authors: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

Contributors: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Tsung-hsiang Chang Mit Csail Tom Yeh et al.

Contributors: Tsung-hsiang Chang Mit Csail Tom Yeh et al.

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

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

File Description: application/pdf

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

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

Authors: Pratama, Derry Suryanto, Naufal Adiputra, Andro Aprila et al.

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

Subject Terms: LANGUAGE models, DYNAMIC testing, COMPUTER hacking, COMPUTER software development, RESEARCH personnel

Guided test generation for database applications via synthesized database interactions

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer et al.

Contributors: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer et al.

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

Subject Terms: 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

File Description: 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

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

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Authors: Cammaerts, Felix Snoeck, Monique

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

Subject Terms: SOFTWARE development tools, COMPUTER software quality control, SYSTEMS software, COMPUTER software, ENGINEERING, SOFTWARE verification, COMPUTER software testing

ThreadSanitizer - Data race detection in practice

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Huayang Guo Ming Wu Lidong Zhou et al.

Contributors: Huayang Guo Ming Wu Lidong Zhou et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Ilchul Yoon Alan Sussman Atif Memon et al.

Contributors: Ilchul Yoon Alan Sussman Atif Memon et al.

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

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

File Description: 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

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

Authors: Gao, Xuanqi Shen, Chao Jiang, Weipeng et al.

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

Test Input Generation for Red-Black Trees using Abstraction

Authors: Willem Visser Corina S. Păsăreanu Radek Pelanek et al.

Contributors: Willem Visser Corina S. Păsăreanu Radek Pelanek et al.

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

Subject Terms: 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

File Description: 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

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

Authors: Moc, Pavel Honzíková, Jarmila Tomášková, Tetjana

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

Subject Terms: MOTIVATION (Psychology), COMPUTER programming, SECONDARY schools, ALGORITHMS, VOCATIONAL guidance, EDUCATION software, ACADEMIC achievement, TECHNICAL education

DinoDroid: Testing Android Apps Using Deep Q-Networks.

Authors: Zhao, Yu Harrison, Brent Yu, Tingting

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

Subject Terms: ARTIFICIAL neural networks, MOBILE apps

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

Authors: Yang, Yuansen Hu, Qile Wang, Li et al.

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

Subjects: Standard deviations, Artificial neural networks, Random forest algorithms, Machine learning, Prediction models

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

Authors: MAN ZHANG BELHADI, ASMA ARCURI, ANDREA

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

Subject Terms: JAVASCRIPT programming language, COMPUTER software testing, PROGRAMMING languages, HEURISTIC, TEST systems

Automated replay and failure detection for web applications

Authors: Sara Sprenkle Emily Gibson Sreedevi Sampath et al.

Contributors: Sara Sprenkle Emily Gibson Sreedevi Sampath et al.

Subject Terms: 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

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

Authors: Ryšavý, Petr Anuarbekov, Alikhan Dostálová Merkerová, Michaela et al.

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

Subject Terms: CIRCULAR RNA, MYELODYSPLASTIC syndromes, MICRORNA, TRANSCRIPTOMES, MESSENGER RNA, GENE ontology, SEQUENCE analysis

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

Authors: Hu, Han Wang, Han Dong, Ruiqi et al.

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

Subject Terms: MONKEYS, MOBILE apps

Seed Selection for Testing Deep Neural Networks.

Authors: Zhi, Yuhan Xie, Xiaofei Shen, Chao et al.

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

Subject Terms: ARTIFICIAL neural networks, SELECTION (Plant breeding), DEEP learning