journal articleLitStream CollectionConcept location using formal concept analysis and information retrievalPoshyvanyk, Denys; Gethers, Malcom; Marcus, Andrian2012 ACM Transactions on Software Engineering and Methodology (TOSEM)doi: 10.1145/2377656.2377660pmid: N/A
journal articleLitStream CollectionSystematizing pragmatic software reuseHolmes, Reid; Walker, Robert J.2012 ACM Transactions on Software Engineering and Methodology (TOSEM)doi: 10.1145/2377656.2377657pmid: N/A
journal articleLitStream CollectionValidation of requirements for hybrid systems: A formal approachCimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano2012 ACM Transactions on Software Engineering and Methodology (TOSEM)doi: 10.1145/2377656.2377659pmid: N/A
journal articleLitStream CollectionValidating software metrics: A spectrum of philosophiesMeneely, Andrew; Smith, Ben; Williams, Laurie2012 ACM Transactions on Software Engineering and Methodology (TOSEM)doi: 10.1145/2377656.2377661pmid: N/A
journal articleLitStream CollectionHAMPI: A solver for word equations over strings, regular expressions, and context-free grammarsKiezun, Adam; Ganesh, Vijay; Artzi, Shay; Guo, Philip J.; Hooimeijer, Pieter; Ernst, Michael D.2012 ACM Transactions on Software Engineering and Methodology (TOSEM)doi: 10.1145/2377656.2377662pmid: N/A
journal articleLitStream CollectionA formal model for automated software modularity and evolvability analysisCai, Yuanfang; Sullivan, Kevin2012 ACM Transactions on Software Engineering and Methodology (TOSEM)doi: 10.1145/2377656.2377658pmid: N/A