Login / Signup
Michael Kent
Publication Activity (10 Years)
Years Active: 1991-2022
Publications (10 Years): 1
Top Topics
Symbolic Execution
Software Testing
Access Control
Test Cases
Top Venues
IEEE Trans. Reliab.
CoRR
IEEE Trans. Computers
</>
Publications
</>
Jaeha Kim
,
Michael Kent
,
Katharina Kral
,
Timur Dogan
Seemo: A new tool for early design window view satisfaction evaluation in residential buildings.
CoRR
(2022)
Dianxiang Xu
,
Weifeng Xu
,
Michael Kent
,
Lijo Thomas
,
Linzhang Wang
An Automated Test Generation Technique for Software Quality Assurance.
IEEE Trans. Reliab.
64 (1) (2015)
Dianxiang Xu
,
Michael Kent
,
Lijo Thomas
,
Tejeddine Mouelhi
,
Yves Le Traon
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets.
IEEE Trans. Computers
64 (9) (2015)
Dianxiang Xu
,
Lijo Thomas
,
Michael Kent
,
Tejeddine Mouelhi
,
Yves Le Traon
A model-based approach to automated testing of access control policies.
SACMAT
(2012)
Michael Kent
A general-arrays implementation of association lists.
ACM SIGAPL APL Quote Quad
23 (4) (1993)
Michael Kent
Easy character-stream filters with APL2 defined operators.
ACM SIGAPL APL Quote Quad
21 (3) (1991)