Javier Tuya

From MaRDI portal
Person:2482357

Available identifiers

zbMath Open tuya.javierMaRDI QIDQ2482357

List of research outcomes





PublicationDate of PublicationType
Supplemental material for: Software System Testing assisted by Large Language Models: An Exploratory Study2024-09-13Dataset
Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications2023-09-08Dataset
A tabu search algorithm for structural software testing2008-04-16Paper
Automated Technology for Verification and Analysis2006-10-25Paper
https://portal.mardi4nfdi.de/entity/Q27725812002-02-19Paper
https://portal.mardi4nfdi.de/entity/Q27299662001-10-23Paper
https://portal.mardi4nfdi.de/entity/Q43564451997-10-01Paper

Research outcomes over time

This page was built for person: Javier Tuya



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2482357&oldid=7805900"
Powered by MediaWiki