( en | de | ru )

 

Disambiguation of "Choi, Yunja"

Author of the publication

copydeleteadd this publication to your clipboard
Automated system-level safety testing using constraint patterns for automotive operating systems.

, and . SAC, page 1815-1822. ACM, (2015)

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

Bongkyung Choi

Chiwon Choi

Jinsub Choi

Carmen Choi

 

Other publications of authors with the same name

Model-Based API-Call Constraint Checking for Automotive Control Software., , and . APSEC, page 217-224. IEEE Computer Society, (2016)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)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)PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software., and . Proc. ACM Softw. Eng., 1 (FSE): 293-315 (2024)Automated system-level safety testing using constraint patterns for automotive operating systems., and . SAC, page 1815-1822. ACM, (2015)Integration testing through reusing representative unit test cases for high-confidence medical software., , and . Comput. Biol. Medicine, 43 (5): 434-443 (2013)Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems., , and . APSEC (1), page 295-302. IEEE Computer Society, (2014)Combination Model Checking: Approach and a Case Study., and . ASE, page 354-357. IEEE Computer Society, (2004)Non-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation., , and . RE, page 275-286. IEEE, (2024)