Result 1 to 20 of 155 total
Using a pilot study to derive a GUI model for automated testing. (English)
ACM Trans. Softw. Eng. Methodol. 18, No. 2 (2008).
1
Domain-specific languages and program generation with meta-aspectj. (English)
ACM Trans. Softw. Eng. Methodol. 18, No. 2 (2008).
2
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation. (English)
ACM Trans. Softw. Eng. Methodol. 18, No. 1 (2008).
3
Automatically repairing event sequence-based GUI test suites for regression testing. (English)
ACM Trans. Softw. Eng. Methodol. 18, No. 2 (2008).
4
Semantic parameterization: A process for modeling domain descriptions. (English)
ACM Trans. Softw. Eng. Methodol. 18, No. 2 (2008).
5
Power laws in software. (English)
ACM Trans. Softw. Eng. Methodol. 18, No. 1 (2008).
6
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology. (English)
ACM Trans. Softw. Eng. Methodol. 18, No. 1 (2008).
7
The impact of research on the development of middleware technology. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 4 (2008).
8
Topology analysis of software dependencies. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 4 (2008).
9
The role of outcome feedback in improving the uncertainty assessment of software development effort estimates. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 4 (2008).
10
Post-release reliability growth in software products. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 4 (2008).
11
Functional size measurement revisited. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 3 (2008).
12
An upper bound on software testing effectiveness. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 3 (2008).
13
An empirical investigation of software reuse benefits in a large telecom product. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 3 (2008).
14
Editorial. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 3 (2008).
15
Developing and debugging algebraic specifications for Java classes. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 3 (2008).
16
Editorial. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 2 (2008).
17
Combining symbolic execution with model checking to verify parallel numerical programs. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 2 (2008).
18
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 2 (2008).
19
Impact of classes of development coordination tools on software development performance: A multinational empirical study. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 2 (2008).
20
Result 1 to 20 of 155 total