Michael Kent

According to our database, Michael Kent authored at least 6 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Seemo: A new tool for early design window view satisfaction evaluation in residential buildings.

Jaeha Kim, Michael Kent, Katharina Kral, Timur Dogan

CoRR, 2022

2015

An Automated Test Generation Technique for Software Quality Assurance.

Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, Linzhang Wang

IEEE Trans. Reliab., 2015

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

Dianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, Yves Le Traon

IEEE Trans. Computers, 2015

2012

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

Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

1993

A general-arrays implementation of association lists.

Michael Kent

ACM SIGAPL APL Quote Quad, 1993

1991

Easy character-stream filters with APL2 defined operators.

Michael Kent

ACM SIGAPL APL Quote Quad, 1991