About

I am an AI Solutions Engineer at System Verification, working at the intersection of software testing and generative AI. I help customers across domains develop and evaluate AI agents and RAG (Retrieval Augmented Generation) systems that solve organizational problems using context-specific data.

I was previously a post-doctoral researcher in the CHAINS project at KTH Royal Institute of Technology, Stockholm, and have a PhD in software testing, supervised by Professors Benoit Baudry and Martin Monperrus. I am particularly interested in software quality, and the automation of test oracles, especially for generative AI systems.

I love folk art and children’s literature, and speak Hindi, English, and (lately increasingly more) Swedish.

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
• Detecting and Removing Bloated Dependencies in CommonJS Packages, Y. Liu, D. Tiwari, C. Bogdan, B. Baudry
  • Appears in the Journal of Systems and Software, 2025
• 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
• Serializing Java Objects in Plain Code, J. Wachter, D. Tiwari, M. Monperrus, B. Baudry
  • Appears in the Journal of Systems and Software, 2025
• The Design Space of Lockfiles Across Package Managers, Y. Gamage, D. Tiwari, M. Monperrus, B. Baudry
  • Appears in Empirical Software Engineering, 2026
• Automatic Observability for Dockerized Java Applications, L. Zhang, D. Tiwari, B. Morin, B. Baudry, M. Monperrus
  • 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
  • Master’s thesis: Automated Generation of Visual Regression Tests Through State Exploration, C. Johnsson
  • 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

• I regularly contribute to the scientific community as a program committee member and peer reviewer for top-tier software engineering and testing venues
• We organized 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