Pradeep K. Mahato

According to our database¹, Pradeep K. Mahato authored at least 3 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

MINTS: Unsupervised Temporal Specifications Miner.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Robust Supply Chains with Gradient Boosted Trees.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium Series on Computational Intelligence, 2020

QMine: A Framework for Mining Quantitative Regular Expressions from System Traces.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020