Jooyong Yi
Titolo
Citata da
Citata da
Anno
Angelix: Scalable multiline program patch synthesis via symbolic analysis
S Mechtaev, J Yi, A Roychoudhury
Proceedings of the 38th international conference on software engineering …, 2016
2992016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
2222015
Bogor/kiasan: A k-bounded symbolic execution for checking strong heap properties of open systems
X Deng, J Lee
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
1162006
Codeflaws: a programming competition benchmark for evaluating automated program repair tools
SH Tan, J Yi, S Mechtaev, A Roychoudhury
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
572017
A feasibility study of using automated program repair for introductory programming assignments
J Yi, UZ Ahmed, A Karkare, SH Tan, A Roychoudhury
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
522017
Filtering false alarms of buffer overflow analysis using SMT solvers
Y Kim, J Lee, H Han, KM Choe
Information and Software Technology 52 (2), 210-219, 2010
422010
Efficient and formal generalized symbolic execution
X Deng, J Lee
Automated Software Engineering 19 (3), 233-301, 2012
262012
What do software engineers care about? gaps between research and practice
V Ivanov, A Rogers, G Succi, J Yi, V Zorin
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
222017
A Correlation Study between Automated Program Repair and Test-Suite Metrics
J Yi, SH Tan, S Mechtaev, M Böhme, A Roychoudhury
Empirical Software Engineering 23 (5), 2948-2979, 2018
202018
Dynamic reverse code generation for backward execution
J Lee
Electronic Notes in Theoretical Computer Science 174 (4), 37-54, 2007
152007
Towards an industrial grade IVE for Java and next generation research platform for JML
P Chalin, PR James, J Lee, G Karabotsos
International journal on software tools for technology transfer 12 (6), 429-446, 2010
142010
Software change contracts
J Yi, D Qi, SH Tan, A Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-43, 2015
122015
Expressing and checking intended changes via software change contracts
J Yi, D Qi, SH Tan, A Roychoudhury
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
102013
Dynamic inference of change contracts
TDB Le, J Yi, D Lo, F Thung, A Roychoudhury
2014 IEEE International Conference on Software Maintenance and Evolution …, 2014
82014
A new architecture and implementation strategy for non-invasive software measurement systems
A Bykov, V Ivanov, A Rogers, A Shunevich, A Sillitti, G Succi, A Tormasov, ...
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1832-1839, 2018
72018
Directfix: Looking for simple program repairs. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
S Mechtaev, J Yi, A Roychoudhury
IEEE, 2015
72015
Design and validation of precooked developer dashboards
V Ivanov, V Pischulin, A Rogers, G Succi, J Yi, V Zorin
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
62018
Program Validation by Symbolic and Reverse Execution
J Lee
PhD thesis, BRICS Ph. D. School, Department of Computer Science, University …, 2006
62006
Understanding the impact of pair programming on the minds of developers
S Busechian, V Ivanov, A Rogers, I Sirazitdinov, G Succi, A Tormasov, J Yi
2018 IEEE/ACM 40th International Conference on Software Engineering: New …, 2018
42018
A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs
J Yi
arXiv preprint arXiv:1309.5152, 2013
42013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20