Skip to content

Commit f70521b

Browse files
authored
Update README.md
1 parent 04fa59d commit f70521b

File tree

1 file changed

+8
-5
lines changed

1 file changed

+8
-5
lines changed

README.md

+8-5
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,26 @@
22

33
[![Travis build status](https://travis-ci.com/IBM/jsonsubschema.svg?branch=master)](https://travis-ci.com/IBM/jsonsubschema) [![Codecov code coverage](https://codecov.io/gh/IBM/jsonsubschema/branch/master/graph/badge.svg)](https://codecov.io/gh/IBM/jsonsubschema)
44

5-
**JSON subschema** checks if one JSON schema is a subschema (subtype) of another.
5+
**jsonsubschema** checks if one JSON schema is a subschema (subtype) of another.
66

77
For any two JSON schemas s1 and s2, s1 <: s2 (reads s1 is subschema/subtype of s2)
88
if every JSON document instance that validates against s1 also validates against s2.
99

10-
JSON subschema is very useful in analysing schema evolution and ensuring that newer schema versions are backward compatible.
11-
subschema also enables static type checking on different components of a system that uses JSON schema to describe data
10+
jsonsubschema is very useful in analysing schema evolution and ensuring that newer schema versions are backward compatible.
11+
jsonsubschema also enables static type checking on different components of a system that uses JSON schema to describe data
1212
interfaces among the system's different components.
1313

14-
The details of JSON subschema are covered in our [**ISSTA 2021** paper](https://andrewhabib.org/publications/issta21-paper-JSONSubschema.pdf):
14+
The details of JSON subschema are covered in our [**ISSTA 2021** paper](https://andrewhabib.org/publications/issta21-paper-JSONSubschema.pdf),
15+
which received a [Distinguished Artifact Award](https://conf.researchr.org/details/issta-2021/issta-2021-technical-papers/2/Finding-Data-Compatibility-Bugs-with-JSON-Subschema-Checking):
1516

1617
```
1718
@InProceedings{issta21JSONsubschema,
18-
author = {Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel},
19+
author = {Habib, Andrew and Shinnar, Avraham and Hirzel, Martin and Pradel, Michael},
1920
title = {Finding Data Compatibility Bugs with JSON Subschema Checking},
2021
booktitle = {The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
2122
year = {2021},
23+
pages = {620--632},
24+
url = {https://doi.org/10.1145/3460319.3464796},
2225
}
2326
```
2427

0 commit comments

Comments
 (0)