Concepedia

Lijo Thomas

LT

5

Publications

232

Citations

5

H-Index

2011

Active since

Affiliations

Dakota State University(Current)

Boise State University

Cognizant (United States)

University of Luxembourg

Gannon University

Lijo Thomas is an author at Dakota State University specializing in software engineering, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringVerificationFormal MethodsSoftware Design

Publications per year

2011–2014

5

Publications

5

Automated Security Test Generation with Formal Threat Models

Dianxiang Xu, Manghui Tu, Michael Sanford et al. · IEEE Transactions on Dependable and Secure Computing · 2012 · 98 citations

Engineering, Formal Threat Models, Information Security +16

An Automated Test Generation Technique for Software Quality Assurance

Dianxiang Xu, Weifeng Xu, Lijo Thomas et al. · IEEE Transactions on Reliability · 2014 · 54 citations

Software Maintenance, Engineering, Verification +22

A model-based approach to automated testing of access control policies

Dianxiang Xu, Lijo Thomas, Tejeddine Mouelhi et al. · 2012 · 37 citations · Full text

Software Maintenance, Engineering, Access Control Implementation +23

Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets

Dianxiang Xu, Lijo Thomas, Tejeddine Mouelhi et al. · IEEE Transactions on Computers · 2014 · 28 citations · Full text

Engineering, Information Security, Verification +20

Phishing detection using stochastic learning-based weak estimators

Justin Zhan, Lijo Thomas · 2011 · 15 citations

Rows per page

1–5 of 5