Skip to content

Commit 427e91b

Browse files
authored
Update README.md
1 parent ae07be4 commit 427e91b

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed

README.md

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,3 +47,18 @@ for 4G and 5G datasets, respectively. Each of these should generate one PDF and
4747
- *phase_train_xlnet.ipynb*
4848

4949
* From the ```eval/``` directory, run ```python3 -W ignore eval.py```. It should generate the metrics (See `output_metrics.txt` in the same directory) like Table 1 (one phase) of the paper.
50+
51+
52+
## Citation
53+
If you use the code or dataset used here, please cite our paper:
54+
```
55+
@article{rahman2024cellularlintsystematicapproachidentify,
56+
title={CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications},
57+
author={Mirza Masfiqur Rahman and Imtiaz Karim and Elisa Bertino},
58+
year={2024},
59+
eprint={2407.13742},
60+
archivePrefix={arXiv},
61+
primaryClass={cs.CR},
62+
url={https://arxiv.org/abs/2407.13742},
63+
}
64+
```

0 commit comments

Comments
 (0)