International Journal on Science and Technology

E-ISSN: 2229-7677   •   Impact Factor: 9.88

A Widely Indexed Open Access Peer Reviewed Multidisciplinary Bi-monthly Scholarly International Journal

Call for Paper Volume 16 Issue 2 April-June 2025 Submit your research before last 3 days of June to publish your research paper in the issue of April-June.
Submit Research Paper Join as a Reviewer

Plagiarism is checked by the leading plagiarism checker TurnItIn

Call for Paper

Volume 16 Issue 2
April-June 2025

Submit your research paper

Indexing Partners
Academia Advanced Sciences Index Bielefeld Academic Search Engine CiteSeer DRJI Google Scholar Independent Search Engine & Directory Network ISI (International Scientific Indexing) Issuu Mendeley Research Networks
RefSeek ResearcherId - Thomson Reuters ResearchGate Scirus Scribd Semantic Scholar UTeM - Universiti Teknikal Malaysia Melaka Wiki for Call for Papers WorldCat Zenodo

Automated Specification-Based Test Generation for Web Clients and RESTful APIs Using Symbolic Execution

Author(s) Manasa Hegde, Ayush Lakhani, Dr I Bremnavas
Country India
Abstract This paper introduces an innovative approach to automated testing for web applications and RESTful APIs that goes beyond traditional isolated API request testing. It focuses on complex, state-dependent interactions that often lead to business logic errors. The proposed method uses a formal specification language inspired by design-by-contract, state charts, symbolic execution, and API mocking to generate state-aware abstract test cases (ATCs). These are then turned into concrete test cases to improve test coverage and reliability. Experimental results demonstrate that this approach reduces manual effort, improves test coverage, and uncovers critical hidden failures, leading to more dependable web applications.
Keywords RESTful APIs, Web Application Testing, Specification-Based Testing, Symbolic Execution, Abstract Test Cases, API Mocking, Design-by-Contract, State-Aware Testing, Test Automation, API Specifications, Constraint Solving, ExpoSE, Test Case Generation, Formal Verification, Software Reliability, Automated Testing Framework, Business Logic Validation, API Workflows, Model-Based Testing, JavaScript Symbolic Execution
Field Computer Applications
Published In Volume 16, Issue 2, April-June 2025
Published On 2025-05-07
DOI https://doi.org/10.71097/IJSAT.v16.i2.4540
Short DOI https://doi.org/g9hsqf
View / Download PDF File

Share this


CrossRef

CrossRef DOI is assigned to each research paper published in our journal.

IJSAT DOI prefix is
10.71097/IJSAT

Downloads
Research Paper Format Copyright Permission Form and Undertaking Form Cover Page Vol 15 Isu 4Cover Page Vol 15 Isu 3Cover Page Vol 15 Isu 2

All research papers published on this website are licensed under Creative Commons Attribution-ShareAlike 4.0 International License, and all rights belong to their respective authors/researchers.

CC-BY-SA Open Access

About IJSAT
Fees & Payment
Current Issue
Publication Archive 		Submit Research Paper
Track Submission Status
Publication Guidelines
Publication Ethics
Peer Review & Plagiarism 		Join as a Reviewer
Editors & Reviewers
Reviewer Referral Program
Get Reviewer Membership Certi. 		Website/Journal Policies
Usage Policy
Content Policies
Privacy Policy
Contact Us Message on WhatsApp +91-9687-182-185 editor@ijsat.org