Jeongwhan Choi

graph convolutional networks research differential equation diffusion machine learning software analysis data science software engineering blockchain paper workshop market research diffusion equation neural odes recommendation recommender system collaborative filtering graph neurla networks graphs science traffic jam traffic prediction traffic speed traffic flow yonsei university artificial intelligence neurla cde stg-ncde graph neural network traffic forecasting gcn domain-specific constraints joint optimization problem joint optimization software testing testing differential testing cross-referencing oracles erroneous behavior adversarial images adversarial deep learning deep learning corner case corner cases deep learning systems testing of deep learning systems neuron coverage automated whitebox testing whitebox testing automated testing deepxplore ethereum poa proof of authority fault tolerance istanbul byzantine fault tolerance istanbul bft practical byzantine fault tolerance pbft clique ibft2.0 ibft consensus algorithm hyperledger hyperledger besu software quality journal prediction modelling software defect prediction decision-making software development artifacts patch lifecycles knowledge discovery artifact lifecycle models history software analytics 가상화폐 cryptocurrency bitcoin 스마트컨트랙트 smart contract transaction state transition ethereum state state transition model evm ehtereum platform 블록체인 이더리움 클래식 이더리움 코어 이더리움 ethereum classic ehtereum blockchain computing