🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Fatimah K. Aljaafari, Rafael Menezes, ... (+4 more)

cs.SE 🏛 IEEE Access 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Is Kernel Code Different From Non-Kernel Code? A Case Study of BSD Family Operating Systems

Gunnar Kudrjavets, Jeff Thomas, ... (+2 more)

cs.SE 🏛 ICSME 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Quality Characteristics of a Software Platform for Human-AI Teaming in Smart Manufacturing

Philipp Haindl, Thomas Hoch, ... (+4 more)

cs.SE 🏛 Quality of Information and Communications Technology 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Towards Self-Adaptive Game Logic

Erik M. Fredericks, Byron DeVries, Jared M. Moore

cs.SE 🏛 2022 IEEE/ACM 6th International Workshop on Games and Software Engineering (GAS) 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Applicability of Software Reliability Growth Models to Open Source Software

Radoslav Micko, Stanislav Chren, Bruno Rossi

cs.SE 🏛 EUROMICRO Conference on Software Engineering and Advanced Applications 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

What Petri Net Obliges Us to Say: Comparing Approaches for Behavior Composition

Achiya Elyasaf, Tom Yaacov, Gera Weiss

cs.SE 🏛 IEEE TSE 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Generating and Visualizing Trace Link Explanations

Yalin Liu, Jinfeng Lin, ... (+3 more)

cs.SE 🏛 ICSE 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

An Industrial Experience Report on Retro-inspection

Lanxin Yang, He Zhang, ... (+3 more)

cs.SE 🏛 ICSE 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects

Markus Voggenreiter, Ulrich Schöpp

cs.SE 🏛 ICSE 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

On the Use of Causal Graphical Models for Designing Experiments in the Automotive Domain

David Issa Mattos, Yuchu Liu

cs.SE 🏛 EASE 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

How are Software Repositories Mined? A Systematic Literature Review of Workflows, Methodologies, Reproducibility, and Tools

Adam Tutko, Austin Z. Henley, Audris Mockus

cs.SE 🏛 arXiv 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Amalgamation of Indirect Gamification into Development and Operations (DEVOPS) Course Teaching

Manoj Devare

cs.SE 🏛 Ìnformacìjnì Tehnologì ì Zasobi Navčannâ 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Failure Identification from Unstable Log Data using Deep Learning

Jasmin Bogatinovski, Sasho Nedelkoski, ... (+3 more)

cs.SE 🏛 IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

A First Look at Duplicate and Near-duplicate Self-admitted Technical Debt Comments

Jerin Yasmin, Mohammad Sadegh Sheikhaei, Yuan Tian

cs.SE 🏛 ICPC 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Understanding Code Snippets in Code Reviews: A Preliminary Study of the OpenStack Community

Liming Fu, Peng Liang, Beiqi Zhang

cs.SE 🏛 ICPC 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study

Wouter Groeneveld, Lynn Van den Broeck, ... (+2 more)

cs.SE 🏛 Annual Conference on Innovation and Technology in Computer Science Education 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

An Exploratory Study on Refactoring Documentation in Issues Handling

Eman Abdullah AlOmar, Anthony Peruma, ... (+3 more)

cs.SE 🏛 MSR 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning

Alexander Senchenko, Naomi Patterson, ... (+2 more)

cs.SE 🏛 ICICST 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Online Adaptable Bug Localization for Rapidly Evolving Software

Agnieszka Ciborowska, Michael J. Decker, Kostadin Damevski

cs.SE 🏛 arXiv 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Detecting commonality and variability in use-case diagram variants

Ra'Fat AL-Msie'deen, Anas H. Blasi, ... (+8 more)

cs.SE 🏛 arXiv 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq

Jason Gross, Théo Zimmermann, ... (+2 more)

cs.SE 🏛 ICITP 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Assessing the alignment between the information needs of developers and the documentation of programming languages: A case study on Rust

Filipe R. Cogo, Xin Xia, Ahmed E. Hassan

cs.SE 🏛 ACM TOSEM 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

High-level Synthesis using the Julia Language

Benjamin Biggs, Ian McInerney, ... (+2 more)

cs.SE 🏛 arXiv 📚 5 cites 4 years ago

R.I.P. 👻 Ghosted

Data-driven Mutation Analysis for Cyber-Physical Systems

Enrico Viganò, Oscar Cornejo, ... (+2 more)

cs.SE 🏛 IEEE TSE 📚 5 cites 4 years ago