Výsledky vyhľadávania - Testing and Debugging—Testing Tools Keywords Randomized Testing

Tool support for randomized unit testing

Autori: James H. Andrews Susmita Haldar Yong Lei a ďalší

Prispievatelia: James H. Andrews Susmita Haldar Yong Lei a ďalší

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

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

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

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

Autori: James H. Andrews Felix C. H. Li Tim Menzies a ďalší

Prispievatelia: James H. Andrews Felix C. H. Li Tim Menzies a ďalší

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

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

Popis súboru: application/pdf

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

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

Autori: Robert Bruce Findler The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Robert Bruce Findler The Pennsylvania State University CiteSeerX Archives

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

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

Popis súboru: application/pdf

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

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

Finding and understanding bugs in C compilers

Autori: Xuejun Yang Yang Chen Eric Eide a ďalší

Prispievatelia: Xuejun Yang Yang Chen Eric Eide a ďalší

Zdroj: http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.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, D.3.4 [Programming Languages, Processors—compilers General Terms Languages, Reliability Keywords compiler testing, compiler defect, automated testing, random testing, random

Popis súboru: application/pdf

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

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

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

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

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

Predmety: COMPUTER viruses, COMPUTER security, COMPUTER software, COMPUTER programming

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)

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

Autori: Brooke, Siân

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

Predmety: PYTHON programming language, PYTHONS, RANDOM forest algorithms, GENDER

Understanding the use of spectrum‐based fault localization.

Autori: Amario de Souza, Higor de Souza Lauretto, Marcelo Kon, Fabio a ďalší

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

Predmety: DEBUGGING, ACTIVITIES of daily living

Software reliability prediction and release time management with coverage.

Autori: Panwar, Saurabh Kumar, Vivek Kapur, P.K. a ďalší

Zdroj: 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!

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

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

Predmety: DEBUGGING, ELECTRONIC data processing, SOURCE code, COMPUTER software

Reviews & Products: FACEBOOK (Web resource)

Navigating the Complexity of Generative AI Adoption in Software Engineering.

Autori: Russo, Daniel

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

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

Autori: Abraham, Bokinala Moses Jyothirmai, Mullapudi V. Sinha, Priyanka a ďalší

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

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

ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers.

Autori: Serafini, Raphael Otto, Clemens Horstmann, Stefan Albert a ďalší

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

Predmety: CHATGPT, INFORMATION technology, COMPUTER software development, COMPUTER programmers, ROBUST statistics

Uniqueness of suspiciousness scores: towards boosting evolutionary fault localization.

Autori: de Jesus Ferreira, Willian Leitao-Junior, Plinio S. de Freitas, Diogo Machado a ďalší

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

Predmety: SOFTWARE engineering, GENETIC programming, RESEARCH questions, INDUSTRIAL costs, MAINTENANCE costs

Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.

Autori: Hutchison, David Kanade, Takeo Kittler, Josef a ďalší

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

Randomized constraint solvers: a comparative study.

Autori: Takaki, Mitsuo Cavalcanti, Diego Gheyi, Rohit a ďalší

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

Autori: Mosbah, M. Ossamy, R.

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

Autori: Guo, Wenjie Xue, Jingfeng Meng, Wenheng a ďalší

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

Predmety: ACTIVE learning, MALWARE, SUPERVISED learning, LEARNING modules, METHODS engineering, CYBERSPACE

A Safety-Critical Java Technology Compatibility Kit.

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

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

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

Autori: Daniel, Sherae L. Maruping, Likoebe M. Cataldo, Marcelo a ďalší

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