Suchergebnisse - "Justyna Petke"

Bridging Constraint Satisfaction and Boolean Satisfiability / by Justyna Petke.

Autoren: Petke, Justyna. author. SpringerLink (Online service)

Index Begriffe: Computer science., Computers., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Theory of Computation., text

URL: http://dspace.conacyt.gov.py/xmlui/handle/123456789/14827
Springer eBooks
Artificial Intelligence: Foundations, Theory, and Algorithms, 2365-3051
http://cicco.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-21810-6

Artifact of SearchGEM5: Towards Reliable gem5 with Search Based Software Testing and Large Language Models

Autoren: Aidan Dakhama orcid:0009-0002-7318- Karine Even-Mendoza et al.

Schlagwörter: SBSE, gem5, LLM, AFL, Reliability of Software

Relation: https://zenodo.org/records/10998516; oai:zenodo.org:10998516; https://doi.org/10.5281/zenodo.10998516

Verfügbarkeit: https://doi.org/10.5281/zenodo.10998516
https://zenodo.org/records/10998516

Artifact of SearchGEM5: Towards Reliable gem5 with Search Based Software Testing and Large Language Models

Autoren: Aidan Dakhama orcid:0009-0002-7318- Karine Even-Mendoza et al.

Schlagwörter: SBSE, gem5, LLM, AFL, Reliability of Software

Relation: https://zenodo.org/records/10823334; oai:zenodo.org:10823334; https://doi.org/10.5281/zenodo.10823334

Verfügbarkeit: https://doi.org/10.5281/zenodo.10823334
https://zenodo.org/records/10823334

Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage

Autoren: Ibrahim Mesecan Daniel Blackwell David Clark et al.

Quelle: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. :1-12

Schlagwörter: information flow leakage, genetic improvement, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Comprehensive Survey of Benchmarks for Improvement of Software's Non-Functional Properties.

Autoren: Blot, Aymeric Petke, Justyna

Quelle: ACM Computing Surveys; Jul2025, Vol. 57 Issue 7, p1-36, 36p

Schlagwörter: COMPUTER software quality control, SOFTWARE validation, COMPUTER software developers, CODE generators, SOURCE code, SOFTWARE refactoring

Intriguing Properties of Adversarial ML Attacks in the Problem Space [Extended Version].

Autoren: Cortellazzi, Jacopo Quiring, Erwin Arp, Daniel et al.

Quelle: ACM Transactions on Privacy & Security; Nov2025, Vol. 28 Issue 4, p1-37, 37p

Schlagwörter: MALWARE

Reviews & Products: ANDROID (Operating system)

Reinforcement learning for mutation operator selection in automated program repair: Reinforcement learning for mutation operator selection in automated program repair: C. Hanna et al.

Autoren: Hanna, Carol Blot, Aymeric Petke, Justyna

Quelle: Automated Software Engineering; Nov2025, Vol. 32 Issue 2, p1-33, 33p

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs.

Autoren: Kong, Jiaolong Xie, Xiaofei Cheng, Mingfei et al.

Quelle: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-31, 31p

Schlagwörter: CHATGPT, LANGUAGE models, SOFTWARE failures, SOFTWARE maintenance, PROBLEM solving

Tools and benchmarks evolve: what is their impact on parameter tuning in SBSE experiments?

Autoren: Golmohammadi, Amid Zhang, Man Arcuri, Andrea

Quelle: Empirical Software Engineering; Feb2026, Vol. 31 Issue 1, p1-73, 73p

Maintenance Operations on Cloud, Edge, and IoT Environments: Taxonomy, Survey, and Research Challenges.

Autoren: Souza, Paulo Ferreto, Tiago Calheiros, Rodrigo

Quelle: ACM Computing Surveys; Oct2024, Vol. 56 Issue 10, p1-38, 38p

Schlagwörter: ARTIFICIAL intelligence, BIOLOGICAL evolution, COMPUTER science conferences, MEAN time between failure, DISTRIBUTED computing, SERVER farms (Computer network management), SOFTWARE maintenance

Introducing Phylogenetics in Search-based Software Engineering: Phylogenetics-aware SBSE.

Autoren: Blasco, Daniel Iglesias, Antonio Echeverría, Jorge et al.

Quelle: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-38, 38p

Schlagwörter: PHYLOGENY, EVOLUTIONARY computation, SOFTWARE engineering, QUANTITATIVE research, SOFTWARE maintenance, RESEARCH methodology

Adversarial Patterns: Building Robust Android Malware Classifiers.

Autoren: Bhusal, Dipkamal Rastogi, Nidhi

Quelle: ACM Computing Surveys; Aug2025, Vol. 57 Issue 8, p1-34, 34p

Schlagwörter: ROBUST statistics

Multi-objective improvement of Android applications.

Autoren: Callan, James Petke, Justyna

Quelle: Automated Software Engineering; Jun2025, Vol. 32 Issue 1, p1-36, 36p

From Triumph to Uncertainty: The Journey of Software Engineering in the AI Era.

Autoren: Mastropaolo, Antonio Escobar-Velásquez, Camilo Linares-Vásquez, Mario

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

Schlagwörter: SOFTWARE engineering, ARTIFICIAL intelligence, LANDSCAPE changes, AUTOMATION, EXPERTISE

AI for DevSecOps: A Landscape and Future Opportunities.

Autoren: Fu, Michael Pasuksmit, Jirat Tantithamthavorn, Chakkrit

Quelle: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-61, 61p

Schlagwörter: ARTIFICIAL intelligence, MACHINE learning, SAFETY standards, AUTOMATION software, COMPUTER software development, INQUIRY (Theory of knowledge), DEEP learning

ROSE: An IDE-Based Interactive Repair Framework for Debugging.

Autoren: Reiss, Steven P. Wei, Xuan Yuan, Jiahao et al.

Quelle: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-39, 39p

Schlagwörter: DEBUGGING, SOFTWARE development tools, DEFECT tracking (Computer software development), SOFTWARE maintenance

Bridging Constraint Satisfaction and Boolean Satisfiability

Autoren: Justyna Petke

Resource Type: eBook.

Schlagworte: Algebra, Boolean, Constraints (Artificial intelligence)

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Making effective carbon-box testing technique using prioritised-selected test cases driven combinatorial approach.

Autoren: Rippika, Nethravathi Golla, Monika Rani Godboley, Sangharatna

Quelle: International Journal of Systems Assurance Engineering & Management; Mar2025, Vol. 16 Issue 3, p1313-1338, 26p

How Well Does ChatGPT Handle Reference Inquiries? An Analysis Based on Question Types and Question Complexities.

Autoren: Lai, Katie

Quelle: College & Research Libraries; Nov2023, Vol. 84 Issue 6, p974-995, 22p

Schlagwörter: CHATGPT, ARTIFICIAL intelligence, LIBRARIES, COMMUNICATION, SCORING rubrics

Speeding Up Genetic Improvement via Regression Test Selection.

Autoren: Guizzo, Giovani Williams, David Harman, Mark et al.

Quelle: ACM Transactions on Software Engineering & Methodology; Nov2024, Vol. 33 Issue 8, p1-31, 31p

Schlagwörter: OPTIMIZATION algorithms, SOFTWARE engineering, GENETIC programming, SYSTEMS software, ALGORITHMS