( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.

, , , , и . ICST, стр. 229-240. IEEE, (2021)

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.

Corina Rehwagen

Corina Schmidt

Corina Noack

Corina Stock

Corina Sargk

 

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

Statistical Symbolic Execution with Informed Sampling., , , и . Software Engineering & Management, том P-239 из LNI, стр. 51-52. GI, (2015)A survey of new trends in symbolic execution for software testing and analysis., и . Int. J. Softw. Tools Technol. Transf., 11 (4): 339-353 (2009)Parallelization Techniques for Verifying Neural Networks., , , , , , , , , и . CoRR, (2020)Analysing the effect of uncertainty in airport surface operations., , и . ISSTA/ECOOP Workshops, стр. 132-137. ACM, (2018)On the probabilistic analysis of neural networks., , , и . SEAMS@ICSE, стр. 5-8. ACM, (2020)Guest editorial: special multi-issue on selected topics in Automated Software Engineering., и . Autom. Softw. Eng., 22 (3): 289-290 (2015)Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis., , , , , и . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 14 (2019)Predicate Abstraction with Under-Approximation Refinement., , и . Logical Methods in Computer Science, (2007)Symbolic Execution and Model Checking for Testing., и . Haifa Verification Conference, том 4899 из Lecture Notes in Computer Science, стр. 17-18. Springer, (2007)Case Study: Analysis of Autonomous Center Line Tracking Neural Networks., , , и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 104-121. Springer, (2021)