( en | de | ru )

 

Disambiguation of "Choi, Yunja"

Author of the publication

copydeleteadd this publication to your clipboard
Constraint-based test generation for automotive operating systems.

, and . Softw. Syst. Model., 16 (1): 7-24 (2017)

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.

Andreas Choi

Chiwon Choi

Bongkyung Choi

Carmen Choi

Youngmi Choi

 

Other publications of authors with the same name

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints., , and . Requir. Eng., 7 (4): 225-242 (2002)Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.. SEFM, volume 10886 of Lecture Notes in Computer Science, page 254-268. Springer, (2018)A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.. J. Syst. Softw., (2018)Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.. FMICS, volume 133 of Electronic Notes in Theoretical Computer Science, page 61-79. Elsevier, (2004)Model-Based API-Call Constraint Checking for Automotive Control Software., , and . APSEC, page 217-224. IEEE Computer Society, (2016)Model checking Trampoline OS: a case study on safety analysis for automotive software.. Softw. Test. Verification Reliab., 24 (1): 38-60 (2014)OS-Aware Interaction Model for the Verification of Multitasking Embedded Software.. IEEE Access, (2020)From NuSMV to SPIN: Experiences with model checking flight guidance systems.. Formal Methods Syst. Des., 30 (3): 199-216 (2007)A Formal Semantics of the OSEK/VDX Standard in $$K$$ Framework and Its Applications., , and . WRLA, volume 8663 of Lecture Notes in Computer Science, page 280-296. Springer, (2014)Property-based testing for LG home appliances using accelerated software-in-the-loop simulation., , , and . ICSE (SEIP), page 120-129. ACM, (2020)