Author of the publication

CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays.

, , , , , , and . ESEC/SIGSOFT FSE, page 81-93. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Transferable Ring Corrections for Predicting Enthalpy of Formation of Cyclic Compounds., , and . J. Chem. Inf. Model., 61 (6): 2798-2805 (2021)Self-Consistent Component Increment Theory for Predicting Enthalpy of Formation., and . J. Chem. Inf. Model., 60 (4): 2199-2207 (2020)Mechanised Hypersafety Proofs about Structured Data: Extended Version., , , , and . CoRR, (2024)Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic., , , , and . CPP, page 45-59. ACM, (2024)SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems., , , , and . ESEC/SIGSOFT FSE, page 1185-1197. ACM, (2022)Generating Pairwise Covering Arrays for Highly Configurable Software Systems., , , , , and . SPLC (A), page 261-267. ACM, (2023)Simultaneously improving reaction coverage and computational cost in automated reaction prediction tasks., and . Nat. Comput. Sci., 1 (7): 479-490 (2021)Topology Automated Force-Field Interactions (TAFFI): A Framework for Developing Transferable Force Fields., , , , and . J. Chem. Inf. Model., 61 (10): 5013-5027 (2021)CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays., , , , , , and . ESEC/SIGSOFT FSE, page 81-93. ACM, (2023)