All papers published in past two days:
Category: Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
AI Python & arXiv Channel
Category: Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
AI Python & arXiv Channel
Latest Published Articles:
Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
π A Graphical Interactive Debugger for Distributed Systems
π₯ Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
π PDF
π Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
π₯ Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
π PDF
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Model-Based Safety-Cases for Software-Intensive Systems
π₯ Peter Braun, Jan Philipps, Bernhard SchΓ€tz, Stefan Wagner
π PDF
π An Approximation-based Approach for the Random Exploration of Large Models
π₯ Julien Bernard, Pierre-Cyrille HΓ©am, Olga Kouchnarenko
π PDF
π When Regression Verification Meets CEGAR
π₯ Fei He, Qianshan Yu, Liming Cai
π PDF
π A Product Line Systems Engineering Process for Variability Identification and Reduction
π₯ Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
π PDF
π Deep Learning to Detect Redundant Method Comments
π₯ Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π A Directed Acyclic Graph Approach to Online Log Parsing
π₯ Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
π PDF
π The History of Software Architecture - In the Eye of the Practitioner
π₯ Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
π PDF
π Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
π₯ Lawrence C Paulson
π PDF
π ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
π₯ Moussa Amrani, Levi LΓΊcio, Adrien Bibal
π PDF
π Engaging Millennials into Learning Formal Methods
π₯ NΓ©stor CataΓ±o
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
π A Graphical Interactive Debugger for Distributed Systems
π₯ Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
π PDF
π Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
π₯ Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
π PDF
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Model-Based Safety-Cases for Software-Intensive Systems
π₯ Peter Braun, Jan Philipps, Bernhard SchΓ€tz, Stefan Wagner
π PDF
π An Approximation-based Approach for the Random Exploration of Large Models
π₯ Julien Bernard, Pierre-Cyrille HΓ©am, Olga Kouchnarenko
π PDF
π When Regression Verification Meets CEGAR
π₯ Fei He, Qianshan Yu, Liming Cai
π PDF
π A Product Line Systems Engineering Process for Variability Identification and Reduction
π₯ Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
π PDF
π Deep Learning to Detect Redundant Method Comments
π₯ Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π A Directed Acyclic Graph Approach to Online Log Parsing
π₯ Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
π PDF
π The History of Software Architecture - In the Eye of the Practitioner
π₯ Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
π PDF
π Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
π₯ Lawrence C Paulson
π PDF
π ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
π₯ Moussa Amrani, Levi LΓΊcio, Adrien Bibal
π PDF
π Engaging Millennials into Learning Formal Methods
π₯ NΓ©stor CataΓ±o
π PDF
#SoftwareEngineering
AI Python & arXiv Channel