About

I am an AI Solutions Engineer at System Verification, working at the intersection of software testing and generative AI. I was previously a post-doctoral researcher in the CHAINS project at KTH Royal Institute of Technology, Stockholm. I have a PhD in software testing from KTH Royal Institute of Technology. My PhD was supervised by Professors Benoit Baudry and Martin Monperrus, and funded by Wallenberg AI, Autonomous Systems and Software Program (WASP). I am excited about software quality, the automation of test oracles, as well as the software supply chain.

Publications

🔗 Google Scholar

• Augmenting Test Oracles with Production Observations, D. Tiwari
  • PhD thesis, 2024
  • My thesis proposes techniques to complement in-house software tests with information from the field
• The Design Space of Lockfiles Across Package Managers, Y. Gamage, D. Tiwari, M. Monperrus, B. Baudry
  • preprint on arXiv
• UPPERCASE IS ALL YOU NEED, V. Andersson, B. Baudry, S. Bobadilla, L. Christensen, S. Cofano, K. Etemadi, L. Raphina, M. Monperrus, F. R. García, J. R. Arteaga, A. Sharma, D Tiwari, T. Toady
  • Appears in the proceedings of SIGBOVIK 2025
• PROZE: Generating Parameterized Unit Tests Informed by Runtime Data, D. Tiwari, Y. Gamage, M. Monperrus, B. Baudry, 2024
  • Appears in the proceedings of the International Conference on Source Code Analysis and Manipulation (SCAM), 2024
  • proze on GitHub
• Mimicking Production Behavior with Generated Mocks, D. Tiwari, M. Monperrus, B. Baudry, 2024
  • Appears in IEEE Transactions on Software Engineering, 2024
  • RICK on GitHub
• Generative AI to Generate Test Data Generators, B. Baudry, K. Etemadi, S. Fang, Y. Gamage, Y. Liu, Y. Liu, M. Monperrus, J. Ron, A. Silva, D. Tiwari, 2024
  • Appears in IEEE Software, special issue on Generative AI
  • lollm on GitHub
• With Great Humor Comes Great Developer Engagement, D. Tiwari, T. Toady, M. Monperrus, B. Baudry, 2024
  • Appears in the proceedings of the International Conference on Software Engineering, Software Engineering in Society track (ICSE-SEIS), 2024
• Automatic Specialization of Third-Party Java Dependencies, C. Soto-Valero, D. Tiwari, T. Toady, B. Baudry, 2023
  • Appears in IEEE Transactions on Software Engineering, 2023
  • Appears in the proceedings of the International Conference on Software Engineering, Journal-first track (ICSE-JF), 2024
  • DepTrim on GitHub
• RICK: Generating Mocks from Production Data, D. Tiwari, M. Monperrus, B. Baudry, 2023
  • Appears in the tool demonstrations track of the International Conference on Software Testing, Verification and Validation (ICST), 2023
  • Demo: YouTube
• Harvesting Production GraphQL Queries to Detect Schema Faults, L. Zetterlund, D. Tiwari, M. Monperrus, B. Baudry, 2022
  • Appears in the proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2022
  • Teaser: @icstconference, YouTube
  • Presentation: YouTube
• Production Monitoring to Improve Test Suites, D. Tiwari, L. Zhang, M. Monperrus, B. Baudry, 2021
  • Appears in IEEE Transactions on Reliability, 2021
  • Presented at SAST, 2021, ISSRE, 2023
  • pankti on GitHub
• Automatic Observability for Dockerized Java Applications, L. Zhang, D. Tiwari, B. Morin, B. Baudry, M. Monperrus
  • preprint on arXiv
• An Empirical Study of Bloated Dependencies in CommonJS Packages, Y. Liu, D. Tiwari, C. Bogdan, B. Baudry
  • preprint on arXiv
• Serializing Java Objects in Plain Code, J. Wachter, D. Tiwari, M. Monperrus, B. Baudry
  • preprint on arXiv

Teaching

• Supervisor
  • Master’s thesis: A study of Pseudo-tested Methods in an Android Continuous Integration Environment, J. Kvarnefalk
  • Master’s thesis: AutoGraphQL: An automatic test generation tool for GraphQL, L. Zetterlund
  • Master’s thesis: Behavioural comparison of test and field executions of video games, C. Porion
  • Master’s thesis: Subtree Hashing of Tests in Build Systems, C. Capitanu
  • Master’s thesis: Mutation Testing in Video Games, T. Mattsson
  • Research internship: Test and mock generation, P. Azimi
• Teaching assistant
  • DA2210: Introduction to the Philosophy of Science and Research Methodology for Computer Scientists
  • DD2480: Software Engineering Fundamentals
  • DD2482: Automated Software Testing and DevOps
  • DD2485: Programmable Society
  • WASP Software Engineering and Cloud Computing

More

• We often organize Meetups about software research
• We spoke about software humor on the German radio 📻
• Our work on software humor was featured in the KTH newsletter 📰
• I was a student volunteer at ICST ‘23 and ICST ‘22 🏆
• A post about TestCon ‘19
• A poster presented at CASTOR Software Days ‘19
• A poster prepared for the WASP Winter Conference ‘22
• A poster presented at CASTOR Software Days ‘22 and WASP Winter Conference ‘23
• I contributed material for a course on open-source software supply chains
• I was involved in an installation for the Nobel Week Lights ‘22
• I sometimes update the following:
  • Summaries of papers related to our research
  • A list of free and open resources for learning

Get in touch

deepika.tiwari@systemverification.com | LinkedIn