Loading…
Supporting oracle construction via static analysis
Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie, Hong Mei
Published in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (01.09.2016)
Published in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (01.09.2016)
Get full text
Conference Proceeding
Loading…
Scientific Developers v/s Static Analysis Tools: Vision and Position Paper
Krishnamurthy, Rohan, Heinze, Thomas S., Haupt, Carina, Schreiber, Andreas, Meinel, Michael
Published in ICSE Workshop on Cooperative and Human Aspects on Software Engineering (Online) (01.05.2019)
Published in ICSE Workshop on Cooperative and Human Aspects on Software Engineering (Online) (01.05.2019)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Multi-Robot Object SLAM Using Distributed Variational Inference
Cao, Hanwen, Shreedharan, Sriram, Atanasov, Nikolay
Published in IEEE robotics and automation letters (01.10.2024)
Published in IEEE robotics and automation letters (01.10.2024)
Get full text
Journal Article
Loading…
Loading…
Patch Space Exploration using Static Analysis Feedback
Zhang, Yuntong, Costea, Andreea, Shariffdeen, Ridwan, McCall, Davin, Roychoudhury, Abhik
Published in arXiv.org (01.08.2023)
Get full text
Published in arXiv.org (01.08.2023)
Paper
Loading…
Structural Design of Large Heavy-load Stone Cutting Robot
Wang, Chenglin, Li, Chunjiang, Zhao, Lijun, Wang, Shengxue
Published in Journal of physics. Conference series (01.10.2020)
Published in Journal of physics. Conference series (01.10.2020)
Get full text
Journal Article
Loading…
Could I Have a Stack Trace to Examine the Dependency Conflict Issue?
Wang, Ying, Wen, Ming, Wu, Rongxin, Liu, Zhenwei, Tan, Shin Hwei, Zhu, Zhiliang, Yu, Hai, Cheung, Shing-Chi
Published in Proceedings / International Conference on Software Engineering (01.05.2019)
Published in Proceedings / International Conference on Software Engineering (01.05.2019)
Get full text
Conference Proceeding
Loading…
Learning CI Configuration Correctness for Early Build Feedback
Santolucito, Mark, Zhang, Jialu, Zhai, Ennan, Cito, Jurgen, Piskac, Ruzica
Published in 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.03.2022)
Published in 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.03.2022)
Get full text
Conference Proceeding
Loading…
Flow Logic for Process Calculi
Nielson, Hanne Riis, Nielson, Flemming, Pilegaard, Henrik
Published in ACM computing surveys (01.01.2012)
Published in ACM computing surveys (01.01.2012)
Get full text
Journal Article
Loading…
Loading…
Exact solution of bending problem for continuous sandwich panels with profiled facings
Gosowski, Bronisław, Gosowski, Maciej
Published in Journal of constructional steel research (01.10.2014)
Published in Journal of constructional steel research (01.10.2014)
Get full text
Journal Article
Loading…
Loading…
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
Shankaranarayanan Krishna, Lal, Aniket, Pavlogiannis, Andreas, Tuppe, Omkar
Published in arXiv.org (07.11.2023)
Get full text
Published in arXiv.org (07.11.2023)
Paper
Loading…