Specification mining of symbolic scenario-based models
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Software execution processes as an evolving complex network
Information Sciences: an International Journal
Automatic steering of behavioral model inference
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Development and specification of a reference model for agent-based systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Scenario-based and value-based specification mining: better together
Proceedings of the IEEE/ACM international conference on Automated software engineering
Mining message sequence graphs
Proceedings of the 33rd International Conference on Software Engineering
Specification mining in concurrent and distributed systems
Proceedings of the 33rd International Conference on Software Engineering
Specification mining in concurrent and distributed systems
Proceedings of the 33rd International Conference on Software Engineering
A practice-driven systematic review of dependency analysis solutions
Empirical Software Engineering
Mining quantified temporal rules: Formalism, algorithms, and evaluation
Science of Computer Programming
Learning extended FSA from software: An empirical assessment
Journal of Systems and Software
NORT: runtime anomaly-based monitoring of malicious behavior for windows
RV'11 Proceedings of the Second international conference on Runtime verification
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Adapting system execution traces to support analysis of software system performance properties
Journal of Systems and Software
Hi-index | 0.00 |
Robert Autor is the executive vice president and chief information officer of SLM Corporation, where he leads the company's information technology division, loan consolidation business and corporate procurement division.