Search Results - Testing and Debugging—Testing Tools Keywords Randomized Testing*

Tool support for randomized unit testing

Authors: James H. Andrews Susmita Haldar Yong Lei et al.

Contributors: James H. Andrews Susmita Haldar Yong Lei et al.

Source: http://staff.unak.is/not/andy/MScTesting0708/Lectures/RandomUnitTestingJava.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing Tools Keywords Randomized Testing, Unit Testing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.2529; http://staff.unak.is/not/andy/MScTesting0708/Lectures/RandomUnitTestingJava.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.2529
http://staff.unak.is/not/andy/MScTesting0708/Lectures/RandomUnitTestingJava.pdf

Nighthawk: A two-level genetic-random unit test data generator

Authors: James H. Andrews Felix C. H. Li Tim Menzies et al.

Contributors: James H. Andrews Felix C. H. Li Tim Menzies et al.

Source: http://menzies.us/pdf/07ase-nighthawk.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, I.2.8 [Artificial Intelligence, Problem Solv- ing, Control Methods, and Search General Terms Algorithms, Experimentation, Measurement Keywords Randomized testing

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.8673
http://menzies.us/pdf/07ase-nighthawk.pdf

Randomized Testing in PLT Redex

Authors: Robert Bruce Findler The Pennsylvania State University CiteSeerX Archives

Contributors: Robert Bruce Findler The Pennsylvania State University CiteSeerX Archives

Source: http://repository.readscheme.org/ftp/papers/sw2009/03-klein.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—assertions, invariants, mechanical verification, D.2.4 [Software Engineering, Software / Program Verification— assertion checkers, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Design Keywords Randomized test case generation, lightweight formal models, operational

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.8371
http://repository.readscheme.org/ftp/papers/sw2009/03-klein.pdf

Black-Box Bug Amplification for Multithreaded Software.

Authors: Weiss, Yeshayahu Amram, Gal Elyasaf, Achiya et al.

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

Subject Terms: COMPUTER software testing, SOFTWARE failures, HEURISTIC, PREDICTION models, PARALLEL programs (Computer programs)

Finding and understanding bugs in C compilers

Authors: Xuejun Yang Yang Chen Eric Eide et al.

Contributors: Xuejun Yang Yang Chen Eric Eide et al.

Source: http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers General Terms Languages, Reliability Keywords compiler testing, compiler defect, automated testing, random testing, random

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3297
http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf

Programmed differently? Testing for gender differences in Python programming style and quality on GitHub.

Authors: Brooke, Siân

Source: Journal of Computer-Mediated Communication; Jan2024, Vol. 29 Issue 1, p1-13, 13p

Subject Terms: PYTHON programming language, PYTHONS, RANDOM forest algorithms, GENDER

Detecting Atomic-Set Serializability Violations in Multi-threaded Programs through Active Randomized Testing.

Authors: Zhifeng Lai Cheung, S. C. Chan, W. K.

Source: ICSE: International Conference on Software Engineering; 2010, p235-244, 10p, 10 Diagrams, 2 Charts

Subject Terms: COMPUTER viruses, COMPUTER security, COMPUTER software, COMPUTER programming

Understanding the use of spectrum‐based fault localization.

Authors: Amario de Souza, Higor de Souza Lauretto, Marcelo Kon, Fabio et al.

Source: Journal of Software: Evolution & Process; Jun2024, Vol. 36 Issue 6, p1-26, 26p

Subject Terms: DEBUGGING, ACTIVITIES of daily living

Software reliability prediction and release time management with coverage.

Authors: Panwar, Saurabh Kumar, Vivek Kapur, P.K. et al.

Source: International Journal of Quality & Reliability Management; 2022, Vol. 39 Issue 3, p741-761, 21p

Automated Program Repair, What Is It Good For? Not Absolutely Nothing!

Authors: Eladawy, Hadeel Le Goues, Claire Brun, Yuriy

Source: ICSE: International Conference on Software Engineering; 2024, p1-13, 13p

Subject Terms: DEBUGGING, ELECTRONIC data processing, SOURCE code, COMPUTER software

Reviews & Products: FACEBOOK (Web resource)

Navigating the Complexity of Generative AI Adoption in Software Engineering.

Authors: Russo, Daniel

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

Subject Terms: GENERATIVE artificial intelligence, SOFTWARE engineers, ARTIFICIAL intelligence, SOFTWARE engineering, SOCIAL cognitive theory, DIFFUSION of innovations theory

Catalysis in the digital age: Unlocking the power of data with machine learning.

Authors: Abraham, Bokinala Moses Jyothirmai, Mullapudi V. Sinha, Priyanka et al.

Source: WIREs: Computational Molecular Science; Sep/Oct2024, Vol. 14 Issue 5, p1-32, 32p

Subject Terms: MACHINE learning, DATA libraries, ARTIFICIAL intelligence, DIGITAL technology, MATERIALS science

ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers.

Authors: Serafini, Raphael Otto, Clemens Horstmann, Stefan Albert et al.

Source: ICSE: International Conference on Software Engineering; 2024, p1-13, 13p

Subject Terms: CHATGPT, INFORMATION technology, COMPUTER software development, COMPUTER programmers, ROBUST statistics

Uniqueness of suspiciousness scores: towards boosting evolutionary fault localization.

Authors: de Jesus Ferreira, Willian Leitao-Junior, Plinio S. de Freitas, Diogo Machado et al.

Source: Journal of Software Engineering Research & Development; 2024, Vol. 12 Issue 1, p156-166, 11p

Subject Terms: SOFTWARE engineering, GENETIC programming, RESEARCH questions, INDUSTRIAL costs, MAINTENANCE costs

Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Hardware & Software, Verification & Testing (9783540708889); 2007, p183-197, 15p

Randomized constraint solvers: a comparative study.

Authors: Takaki, Mitsuo Cavalcanti, Diego Gheyi, Rohit et al.

Source: Innovations in Systems & Software Engineering; Sep2010, Vol. 6 Issue 3, p243-253, 11p

Checking global properties for local computations in graphs with applications to invariant testing.

Authors: Mosbah, M. Ossamy, R.

Source: Proceedings of the Fifth Mexican International Conference in Computer Science, 2004 (ENC 2004); 2004, p35-42, 8p

MalOSDF: An Opcode Slice-Based Malware Detection Framework Using Active and Ensemble Learning.

Authors: Guo, Wenjie Xue, Jingfeng Meng, Wenheng et al.

Source: Electronics (2079-9292); Jan2024, Vol. 13 Issue 2, p359, 19p

Subject Terms: ACTIVE learning, MALWARE, SUPERVISED learning, LEARNING modules, METHODS engineering, CYBERSPACE

A Safety-Critical Java Technology Compatibility Kit.

Authors: Søndergaard, Hans Korsholm, Stephan E. Ravn, Anders P.

Source: ACM International Conference Proceeding Series; 10/13/2014, p1-9, 9p

THE IMPACT OF IDEOLOGY MISFIT ON OPEN SOURCE SOFTWARE COMMUNITIES AND COMPANIES.

Authors: Daniel, Sherae L. Maruping, Likoebe M. Cataldo, Marcelo et al.

Source: MIS Quarterly; Dec2018, Vol. 42 Issue 4, p1069-1096, 38p, 16 Charts, 2 Graphs