-
1
-
-
37849011419
-
-
onlinear conduction. Wikibook. onlinear.conduction
-
FHSST physics electricity: nonlinear conduction. Wikibook. http://en. wikibooks.org/wiki/FHSST_Physics_Electricity: Nonlinear.conduction
-
FHSST physics electricity: N
-
-
-
2
-
-
37849033287
-
-
JUnit. http://www.junit.org
-
JUnit
-
-
-
3
-
-
37849010371
-
-
nesC. http://nescc.sourceforge.net
-
nesC. http://nescc.sourceforge.net
-
-
-
-
4
-
-
37849007385
-
-
TinyOS
-
TinyOS. http://www.tinyOS.net
-
-
-
-
5
-
-
30544450684
-
A scalable formal method for design and automatic checking of user interfaces
-
Berstel, J., Reghizzi, S.C., Roussel, G., San Pietro, P.: A scalable formal method for design and automatic checking of user interfaces. ACM Transactions on Software Engineering and Methodology, 14(2), 124-167 (2005)
-
(2005)
ACM Transactions on Software Engineering and Methodology
, vol.14
, Issue.2
, pp. 124-167
-
-
Berstel, J.1
Reghizzi, S.C.2
Roussel, G.3
San Pietro, P.4
-
6
-
-
0003854750
-
-
Addison Wesley, Reading, Massachusetts
-
Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley, Reading, Massachusetts (2000)
-
(2000)
Testing Object-Oriented Systems: Models, Patterns, and Tools
-
-
Binder, R.V.1
-
7
-
-
0000171368
-
Application of metamorphic testing in numerical analysis
-
ACTA Press, Calgary, Canada
-
Chan, F.T., Chen, T.Y., Cheung, S.C., Lau, M.F., Yiu, S.M.: Application of metamorphic testing in numerical analysis. In: Proceedings of the IASTED International Conference on Software Engineering (SE 1998), pp. 191-197. ACTA Press, Calgary, Canada (1998)
-
(1998)
Proceedings of the IASTED International Conference on Software Engineering (SE
, pp. 191-197
-
-
Chan, F.T.1
Chen, T.Y.2
Cheung, S.C.3
Lau, M.F.4
Yiu, S.M.5
-
8
-
-
33750196425
-
Integration testing of context-sensitive middleware-based applications: A metamorphic approach
-
Chan, WK., Chen, T.Y., Lu, H., Tse, T.H., Yau, S.S.: Integration testing of context-sensitive middleware-based applications: a metamorphic approach. International Journal of Software Engineering and Knowledge Engineering 16(5), 677-703 (2006)
-
(2006)
International Journal of Software Engineering and Knowledge Engineering
, vol.16
, Issue.5
, pp. 677-703
-
-
Chan, W.K.1
Chen, T.Y.2
Lu, H.3
Tse, T.H.4
Yau, S.S.5
-
9
-
-
33750183958
-
Case studies on the selection of useful relations in metamorphic testing
-
Polytechnic University of Madrid, Madrid, Spain
-
Chen, T.Y., Huang, D.H., Tse, T.H., Zhou, Z.Q.: Case studies on the selection of useful relations in metamorphic testing. In: Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), pp. 569-583. Polytechnic University of Madrid, Madrid, Spain (2004)
-
(2004)
Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC
, pp. 569-583
-
-
Chen, T.Y.1
Huang, D.H.2
Tse, T.H.3
Zhou, Z.Q.4
-
10
-
-
0036040738
-
Building efficient wireless sensor networks with low-level naming
-
ACM Press, New York
-
Heidemann, J., Silva, F., Intanagonwiwat, C., Govindan, R., Estrin, D., Ganesan, D.: Building efficient wireless sensor networks with low-level naming. In: Proceedings of the 8th ACM Symposium on Operating Systems Principles (SOSP 2001), pp. 146-159. ACM Press, New York (2001)
-
(2001)
Proceedings of the 8th ACM Symposium on Operating Systems Principles (SOSP 2001)
, pp. 146-159
-
-
Heidemann, J.1
Silva, F.2
Intanagonwiwat, C.3
Govindan, R.4
Estrin, D.5
Ganesan, D.6
-
11
-
-
37849013624
-
-
Kandler, J.: Automated testing of embedded software. International Conference on Software Testing Analysis and Review (STAREAST 2000), Orlando, Florida (2000), Paper available at http://www.stickyminds.com/s.asp?F=S2049- ART_2
-
Kandler, J.: Automated testing of embedded software. International Conference on Software Testing Analysis and Review (STAREAST 2000), Orlando, Florida (2000), Paper available at http://www.stickyminds.com/s.asp?F=S2049- ART_2
-
-
-
-
12
-
-
37849029008
-
Testing in resource constrained execution environments
-
ACM Press, New York
-
Kapfhammer, G.M., Soffa, M.L., Mosse, D.: Testing in resource constrained execution environments. In: Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering (ASE 2005), pp. 418-422. ACM Press, New York (2005)
-
(2005)
Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering (ASE
, pp. 418-422
-
-
Kapfhammer, G.M.1
Soffa, M.L.2
Mosse, D.3
-
13
-
-
3042782268
-
TOSSIM: Accurate and scalable simulation of entire TinyOS applications
-
ACM Press, New York
-
Levis, P., Lee, N., Welsh, M., Culler, D., TOSSIM,: TOSSIM: accurate and scalable simulation of entire TinyOS applications. In: Proceedings of the 1st ACM Conference on Embedded Networked Sensor Systems (SenSys 2003), ACM Press, New York (2001)
-
(2001)
Proceedings of the 1st ACM Conference on Embedded Networked Sensor Systems (SenSys
-
-
Levis, P.1
Lee, N.2
Welsh, M.3
Culler, D.4
TOSSIM5
-
14
-
-
84945534891
-
Testing embedded control systems using hardware-in-the-loop simulation and temporal logic
-
Barcelona, Spain
-
Sanvido, M.A.A., Cechticky, V., Schaufelberger, W.: Testing embedded control systems using hardware-in-the-loop simulation and temporal logic. In: Proceedings of the 15th IFAC World Congress on Automatic Control, Barcelona, Spain (2002)
-
(2002)
Proceedings of the 15th IFAC World Congress on Automatic Control
-
-
Sanvido, M.A.A.1
Cechticky, V.2
Schaufelberger, W.3
-
15
-
-
22944434153
-
Rapid embedded system testing using verification patterns
-
Tsai, W.-T., Yu, L., Zhu, F., Paul, R.: Rapid embedded system testing using verification patterns. IEEE Software 22(4), 68-75 (2005)
-
(2005)
IEEE Software
, vol.22
, Issue.4
, pp. 68-75
-
-
Tsai, W.-T.1
Yu, L.2
Zhu, F.3
Paul, R.4
-
16
-
-
34547469565
-
Testing object-oriented industrial software without precise oracles or results
-
to appear
-
Tse, T.H., Lau, F.C.M., Chan, W.K., Liu, P.C.K., Luk, C.K.F.: Testing object-oriented industrial software without precise oracles or results. Communications of the ACM (to appear)
-
Communications of the ACM
-
-
Tse, T.H.1
Lau, F.C.M.2
Chan, W.K.3
Liu, P.C.K.4
Luk, C.K.F.5
-
17
-
-
18744388583
-
-
Tse, T.H, Yau, S.S, Chan, W.K, Lu, H, Chen, T.Y, Testing context-sensitive middleware-based software applications. In: Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC 2004, 1, pp. 458-465. IEEE Computer Society Press, Los Alamitos, California 2004
-
Tse, T.H., Yau, S.S., Chan, W.K., Lu, H., Chen, T.Y.: Testing context-sensitive middleware-based software applications. In: Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), vol. 1, pp. 458-465. IEEE Computer Society Press, Los Alamitos, California (2004)
-
-
-
-
18
-
-
33645129211
-
MoteLab: A wireless sensor network testbed
-
IEEE Computer Society Press, Los Alamitos, California
-
Werner-Allen, G., Swieskowski, P., Welsh, M.: MoteLab: a wireless sensor network testbed. In: Proceedings of the 4th International Conference on Information Processing in Sensor Networks (IPSN 2005), pp. 483-488. IEEE Computer Society Press, Los Alamitos, California (2005)
-
(2005)
Proceedings of the 4th International Conference on Information Processing in Sensor Networks (IPSN
, pp. 483-488
-
-
Werner-Allen, G.1
Swieskowski, P.2
Welsh, M.3
|