Applying string-rewriting to sequence-based specification
Eschbach, Robert, Lin, Lan, Poore, Jesse H.
Published in Formal methods in system design (01.12.2013)
Published in Formal methods in system design (01.12.2013)
Get full text
Journal Article
Using state machines to model and manage requirements changes and specification changes
Lan Lin, Carter, J.M., Poore, J.H.
Published in 2008 51st Midwest Symposium on Circuits and Systems (01.08.2008)
Published in 2008 51st Midwest Symposium on Circuits and Systems (01.08.2008)
Get full text
Conference Proceeding
A greedy reliability estimator for usage-based statistical testing
Lan Lin, Poore, Jesse H., Prowell, Stacy J.
Published in 2014 IEEE 5th International Conference on Software Engineering and Service Science (01.06.2014)
Published in 2014 IEEE 5th International Conference on Software Engineering and Service Science (01.06.2014)
Get full text
Conference Proceeding
Software Input Space Modeling with Constraints among Parameters
Vilkomir, S.A., Swain, W.T., Poore, J.H.
Published in 2009 33rd Annual IEEE International Computer Software and Applications Conference (01.07.2009)
Published in 2009 33rd Annual IEEE International Computer Software and Applications Conference (01.07.2009)
Get full text
Conference Proceeding
Pushing Requirements Changes through to Changes in Specifications
Lan Lin, Poore, J.H.
Published in 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (01.06.2008)
Published in 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (01.06.2008)
Get full text
Conference Proceeding
Combinatorial Test Case Selection with Markovian Usage Models
Vilkomir, S.A., Swain, W.T., Poore, J.H.
Published in Fifth International Conference on Information Technology: New Generations (itng 2008) (01.04.2008)
Published in Fifth International Conference on Information Technology: New Generations (itng 2008) (01.04.2008)
Get full text
Conference Proceeding