Taejoon Byun - RankMe

16 papers A 2Misc 1Journal 5Unranked 8

Year	Rank	Type	Title / Venue / Authors
2021	A	`conf`	Black-Box Testing of Deep Neural Networks. ISSRE Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl
2020	J	`jnl`	Manifold for Machine Learning Assurance. CoRR Taejoon Byun, Sanjai Rayadurgam
2020	—	`conf`	Manifold for machine learning assurance. ICSE (NIER) Taejoon Byun, Sanjai Rayadurgam
2020	—	`conf`	Manifold-based Test Generation for Image Classifiers. AITest Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2020	—	`conf`	Manifold-based Test Generation for Image Classifiers. ICSE (Workshops) Taejoon Byun, Sanjai Rayadurgam
2020	J	`jnl`	Manifold-based Test Generation for Image Classifiers. CoRR Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2020	—	`conf`	Property-based testing for LG home appliances using accelerated software-in-the-loop simulation. ICSE (SEIP) Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi
2020	—	`conf`	Run-Time Assurance for Learning-Enabled Systems. NFM Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
2019	—	`conf`	Input Prioritization for Testing Neural Networks. AITest Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2019	J	`jnl`	Input Prioritization for Testing Neural Networks. CoRR Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2018	—	`conf`	Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2017	J	`jnl`	Constraint-based test generation for automotive operating systems. Softw. Syst. Model. Yunja Choi, Taejoon Byun
2017	A	`conf`	Toward Rigorous Object-Code Coverage Criteria. ISSRE Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
2015	Misc	`conf`	Automated system-level safety testing using constraint patterns for automotive operating systems. SAC Taejoon Byun, Yunja Choi
2015	J	`jnl`	Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation. Sci. Comput. Program. Yunja Choi, Mingyu Park, Taejoon Byun, Dongwoo Kim
2012	—	`conf`	Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems FTSCS Mingyu Park, Taejoon Byun, Yunja Choi