( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Continuous T-Wise Coverage.

, , , , и . SPLC (A), стр. 87-98. 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.

Thomas Thüm

Thomas Thum

Thomas Thum

Thomas Thum

Thomas Thum

 

Другие публикации лиц с тем же именем

RaQuN: a generic and scalable n-way model matching algorithm., , , , , и . Softw. Syst. Model., 22 (5): 1495-1517 (октября 2023)Evaluating state-of-the-art # SAT solvers on industrial configuration spaces., , , , , , и . Empir. Softw. Eng., 28 (2): 29 (марта 2023)Flexible Correct-by-Construction Programming., , , , и . CoRR, (2022)Flexible Correct-by-Construction Programming., , , , и . Log. Methods Comput. Sci., (2023)Back to the future: avoiding paradoxes in feature-model evolution., , и . SPLC (2), стр. 48-51. ACM, (2018)Evaluation of Free and Open Source Tools for Automated Software Composition Analysis., , , , и . CSCS, стр. 3:1-3:11. ACM, (2023)Classifying edits to variability in source code., , , , , и . ESEC/SIGSOFT FSE, стр. 196-208. ACM, (2022)Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary., , , и . Software Engineering, том P-332 из LNI, стр. 129-130. Gesellschaft für Informatik e.V., (2023)Traits: Correctness-by-Construction for Free., , , и . FORTE, том 13273 из Lecture Notes in Computer Science, стр. 131-150. Springer, (2022)Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses., , , , и . ASE, стр. 110:1-110:13. ACM, (2022)