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
Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Examining key features and platforms of IoT
π₯ Rena Bakhshi, Mary Hester, Jeroen Schot
π PDF
π Proving Linearizability Using Reduction
π₯ Tangliu Wen
π PDF
π Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Rocco Oliveto
π PDF
π Strict Linearizability and Abstract Atomicity
π₯ Tangliu Wen
π PDF
π Data-Driven Application Maintenance: Views from the Trenches
π₯ Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
π PDF
π The Impact of IR-based Classifier Configuration on the Performance and the Effort of Method-Level Bug Localization
π₯ Chakkrit Tantithamthavorn, Surafel Lemma Abebe, Ahmed E. Hassan, Akinori Ihara, Kenichi Matsumoto
π PDF
π Combinatorial Testing for Deep Learning Systems
π₯ Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
π PDF
π Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
π₯ Eun-Young Kang, Li Huang
π PDF
π Toxic Code Snippets on Stack Overflow
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Matheus Paixao, Giuseppe Bianco, Rocco Oliveto
π PDF
π A Large-Scale Study on Source Code Reviewer Recommendation
π₯ Jakub Lipcak, Bruno Rossi
π PDF
π Augmenting Source Code Lines with Sample Variable Values
π₯ MatΓΊΕ‘ SulΓr, Jaroslav PorubΓ€n
π PDF
π NISQ circuit compilers: search space structure and heuristics
π₯ Alexandru Paler, Alwin Zulehner, Robert Wille
π PDF
π Blockchain in the Eyes of Developers
π₯ He Jiang, Dong Liu, Zhilei Ren, Tao Zhang
π PDF
π A model-driven approach for a new generation of adaptive libraries
π₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
π PDF
π On Challenges of Cloud Monitoring
π₯ William Pourmajidi, John Steinbacher, Tony Erwin, Andriy Miranskyy
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Examining key features and platforms of IoT
π₯ Rena Bakhshi, Mary Hester, Jeroen Schot
π PDF
π Proving Linearizability Using Reduction
π₯ Tangliu Wen
π PDF
π Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Rocco Oliveto
π PDF
π Strict Linearizability and Abstract Atomicity
π₯ Tangliu Wen
π PDF
π Data-Driven Application Maintenance: Views from the Trenches
π₯ Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
π PDF
π The Impact of IR-based Classifier Configuration on the Performance and the Effort of Method-Level Bug Localization
π₯ Chakkrit Tantithamthavorn, Surafel Lemma Abebe, Ahmed E. Hassan, Akinori Ihara, Kenichi Matsumoto
π PDF
π Combinatorial Testing for Deep Learning Systems
π₯ Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
π PDF
π Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
π₯ Eun-Young Kang, Li Huang
π PDF
π Toxic Code Snippets on Stack Overflow
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Matheus Paixao, Giuseppe Bianco, Rocco Oliveto
π PDF
π A Large-Scale Study on Source Code Reviewer Recommendation
π₯ Jakub Lipcak, Bruno Rossi
π PDF
π Augmenting Source Code Lines with Sample Variable Values
π₯ MatΓΊΕ‘ SulΓr, Jaroslav PorubΓ€n
π PDF
π NISQ circuit compilers: search space structure and heuristics
π₯ Alexandru Paler, Alwin Zulehner, Robert Wille
π PDF
π Blockchain in the Eyes of Developers
π₯ He Jiang, Dong Liu, Zhilei Ren, Tao Zhang
π PDF
π A model-driven approach for a new generation of adaptive libraries
π₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
π PDF
π On Challenges of Cloud Monitoring
π₯ William Pourmajidi, John Steinbacher, Tony Erwin, Andriy Miranskyy
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Treo: Textual Syntax for Reo Connectors
π₯ Kasper Dokter, Farhad Arbab
π PDF
π Verification of Shared-Reading Synchronisers
π₯ Afshin Amighi, Marieke Huisman, Stefan Blom
π PDF
π Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine
π₯ Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo
π PDF
π AutoSpearman: Automatically Mitigating Correlated Metrics for Interpreting Defect Models
π₯ Jirayus Jiarpakdee, Chakkrit Tantithamthavorn, Christoph Treude
π PDF
π How Do Static and Dynamic Test Case Prioritization Techniques Perform on Modern Software Systems? An Extensive Study on GitHub Projects
π₯ Qi Luo, Kevin Moran, Lingming Zhang, Denys Poshyvanyk
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Treo: Textual Syntax for Reo Connectors
π₯ Kasper Dokter, Farhad Arbab
π PDF
π Verification of Shared-Reading Synchronisers
π₯ Afshin Amighi, Marieke Huisman, Stefan Blom
π PDF
π Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine
π₯ Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo
π PDF
π AutoSpearman: Automatically Mitigating Correlated Metrics for Interpreting Defect Models
π₯ Jirayus Jiarpakdee, Chakkrit Tantithamthavorn, Christoph Treude
π PDF
π How Do Static and Dynamic Test Case Prioritization Techniques Perform on Modern Software Systems? An Extensive Study on GitHub Projects
π₯ Qi Luo, Kevin Moran, Lingming Zhang, Denys Poshyvanyk
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Teaching DevOps in Corporate Environments: An experience report
π₯ Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
π PDF
π Usability and Security Effects of Code Examples on Crypto APIs - CryptoExamples: A platform for free, minimal, complete and secure crypto examples
π₯ Kai Mindermann, Stefan Wagner
π PDF
π Implementing SCRUM to develop a connected robot
π₯ Diego Armando Diaz Vargas, Rui Xue, Claude Baron, Philippe Esteban, Rob Vingerhoeds, Y Citlalih, Chao Liu
π PDF
π Using mobile service for supply chain management : a survey and challenges
π₯ Selwa Elfirdoussi
π PDF
π App Store 2.0: From Crowd Information to Actionable Feedback in Mobile Ecosystems
π₯ MarΓa GΓ³mez, Bram Adams, Walid Maalej, Martin Monperrus, Romain Rouvoy
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Teaching DevOps in Corporate Environments: An experience report
π₯ Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
π PDF
π Usability and Security Effects of Code Examples on Crypto APIs - CryptoExamples: A platform for free, minimal, complete and secure crypto examples
π₯ Kai Mindermann, Stefan Wagner
π PDF
π Implementing SCRUM to develop a connected robot
π₯ Diego Armando Diaz Vargas, Rui Xue, Claude Baron, Philippe Esteban, Rob Vingerhoeds, Y Citlalih, Chao Liu
π PDF
π Using mobile service for supply chain management : a survey and challenges
π₯ Selwa Elfirdoussi
π PDF
π App Store 2.0: From Crowd Information to Actionable Feedback in Mobile Ecosystems
π₯ MarΓa GΓ³mez, Bram Adams, Walid Maalej, Martin Monperrus, Romain Rouvoy
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Rule- and context-based dynamic business process modelling and simulation
π₯ Olegas Vasilecas, Diana Kalibatiene, Dejan LavbiΔ
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
π Practical Program Repair via Bytecode Mutation
π₯ Ali Ghanbari, Lingming Zhang
π PDF
π CANAL: A Cache Timing Analysis Framework via LLVM Transformation
π₯ Chungha Sung, Brandon Paulsen, Chao Wang
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Rule- and context-based dynamic business process modelling and simulation
π₯ Olegas Vasilecas, Diana Kalibatiene, Dejan LavbiΔ
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
π Practical Program Repair via Bytecode Mutation
π₯ Ali Ghanbari, Lingming Zhang
π PDF
π CANAL: A Cache Timing Analysis Framework via LLVM Transformation
π₯ Chungha Sung, Brandon Paulsen, Chao Wang
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Fault Localization for Declarative Models in Alloy
π₯ Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
π PDF
π {\em Crypto-Battleships} or How to play Battleships game over the Blockchain?
π₯ Guy Barshap
π PDF
π Uma anΓ‘lise comparativa de ferramentas de anΓ‘lise estΓ‘tica para deteção de erros de memΓ³ria
π₯ PatrΓcia Monteiro, JoΓ£o LourenΓ§o, AntΓ³nio Ravara
π PDF
π Learning Inputs in Greybox Fuzzing
π₯ Valentin WΓΌstholz, Maria Christakis
π PDF
π Specification Mining for Smart Contracts with Automatic Abstraction Tuning
π₯ Florentin Guth, Valentin WΓΌstholz, Maria Christakis, Peter MΓΌller
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Fault Localization for Declarative Models in Alloy
π₯ Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
π PDF
π {\em Crypto-Battleships} or How to play Battleships game over the Blockchain?
π₯ Guy Barshap
π PDF
π Uma anΓ‘lise comparativa de ferramentas de anΓ‘lise estΓ‘tica para deteção de erros de memΓ³ria
π₯ PatrΓcia Monteiro, JoΓ£o LourenΓ§o, AntΓ³nio Ravara
π PDF
π Learning Inputs in Greybox Fuzzing
π₯ Valentin WΓΌstholz, Maria Christakis
π PDF
π Specification Mining for Smart Contracts with Automatic Abstraction Tuning
π₯ Florentin Guth, Valentin WΓΌstholz, Maria Christakis, Peter MΓΌller
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Learning to Represent Edits
π₯ Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
π PDF
π An Empirical Analysis of Vulnerabilities in Python Packages for Web Applications
π₯ Jukka Ruohonen
π PDF
π SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode
π₯ Martina VitovskΓ‘, Marek Chalupa, Jan StrejΔek
π PDF
π Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study
π₯ Pilar RodrΓguez, Emilia Mendes, Burak Turhan
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Learning to Represent Edits
π₯ Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
π PDF
π An Empirical Analysis of Vulnerabilities in Python Packages for Web Applications
π₯ Jukka Ruohonen
π PDF
π SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode
π₯ Martina VitovskΓ‘, Marek Chalupa, Jan StrejΔek
π PDF
π Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study
π₯ Pilar RodrΓguez, Emilia Mendes, Burak Turhan
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel