Publication2010
Test case generation based on state and activity models
The record
- Type
- Publication
- Date
- 1 January 2010
- Level
- National
- Journal
- Journal of Object Technology
- Volume
- 9
- Issue
- 5
- Pages
- 1-27
- Published
- 1 January 2010
- DOI
- 10.5381/jot.2010.9.5.a1
- Scopus ID
- 77956302647
- ISSN
- 16601769
- Authors
- 3
- Open access
- Yes
- Citations
- 42
- International co-authorship
- No
- Co-author countries
- IN
Classification
Every label below carries the reasoning it was assigned on, the confidence band it was assigned in, and what produced it. The rubric is published.
UN Sustainable Development Goals
9 Build resilient infrastructure, promote inclusive and sustainable industrialization and foster innovation
UML state-activity diagram approach for test case generation achieves state-activity coverage and detects integration faults more effectively than related methodologies.
- Moderate confidence
- The alignment is plausible and defensible but rests on an assumption a reasonable reviewer could decline. Published, and surfaced in the review queue for a human to confirm or override.
- Judged
- Judged against the published classification rubric, under the rubric and prompt versions recorded with the run that produced it.
- Produced by
- claude-haiku-4-5-20251001, under kortex-publication-v1
Viksit Bharat @2047
vb-3.2 Digital technology and artificial intelligence
Software testing methodology and automated test generation support digital technology and software engineering advancement.
- Produced by
- claude-haiku-4-5-20251001, under kortex-publication-v1
Each label above carries the instrument and the version that produced it. How each classification is reached.
Evidence
Kortex hosts no documents. Evidence is an outbound link to the authority that holds it.
No outbound evidence link is recorded for this activity. The record below states which source it came from and when it was last read.
Provenance
Which source system this record came from, how many source rows were resolved into it, and when each was last read.
- Source rows resolved into this record
- 1
Each record carries the date Kortex last read it from its source system. That is a freshness date and not a verification: Kortex records what its sources say and when it read them, and it does not check those statements against any external authority. No claim on this site is described as verified, because none is.
Citing this record
This URL is stable. A record’s permalink is frozen when it is published and is not regenerated if its title is later corrected.
KIIT Deemed to be University. “Test case generation based on state and activity models”. Kortex.